Implementation of Unrestricted float + tests; some minor fixes to Float.