Better definition of Integer. Make sure no fractional part.