* num2float.i.c (NUM2FLOAT): handle GMP bignums.