Floats should be stored in AOT as 32, not 64, bits

[ltratt]

Right now we store floats in AOT IR as doubles as per aot_ir.rs:

// Note that floats are stored at rest as a doubles for now.

We should fix this at some point, as code which contains lots of float constants will end up somewhat bloated.