Require ints to be fixed-size and overflow to be float