Float[x->NUMBER] =: NUMBER
Float returns x converted to the machine's floating point representation.
Rational.