I wonder, would it be easier here not to try to reuse Float()? So basically taking the implementation from Float() and adapt that? That might result in a simpler implementation.