Implemented FPL_to_float64