Lots more work on floats, codegen mostly does not work, #37