Do not allow reals for ints