Add a conversion method from BigInt to FloatingPoint

This will be very useful in the future, as it solves #2930 for
BigInts (`float(x)` uses `convert(FloatingPoint, x)`), so
float(BigInt(1)im) now works.
Merge pull request #3060 from andrioni/convert

Add a conversion method from BigInt to FloatingPoint