I'm working on making the Presto type system easily extensible (even by Plugins), and once we have this, I'll add a real 32-bit Float type we can use.