Fix bugs when converting gmp to float

The ``float_`` intrinsic was not overloaded for GMP.

Thanks to g webb for spotting the bug!