convert bigint to bigfloat
docs for gmp
Merge pull request #2112 from aviks/bigint

promote and convert from bigint to bigfloat