Changed the arithmetic behavior of int to always return a floating point number.