Switch back to Float for storing times
Add a more compact encoding for Float
Use the more optimised encoding for float in several places