Fix bugs when converting gmp to float

The ``float_`` intrinsic was not overloaded for GMP.

Thanks to g webb for spotting the bug!
Merge pull request #174 from serge-sans-paille/fix-long-to-float-conversion

Fix bugs when converting gmp to float