Make floating point work (no ancillary state yet though)