1) Add `check_integer` (#407) (dycw)
(SHA: e5c6f4901562487e3a0648213c304e7d489825ba)