Renamed fromRealFloat back to fromFloatDigits

I think the latter is more descriptive.