Define: Float
Represents a double-precision IEEE 64-bit floating point number.
Define: Int
Represents an integral number.
While every Int can be used where a Float is expected (that is, Int is assignable to or unifies with Float), the reverse is not true: Assigning a Float to an Int might cause loss of precision and is therefore not allowed implicitly.