Introduce Floats in the IR.

This does not change what is emitted in fine. It is simply
a different spec of the IR in which Floats are separated from
Doubles.