promote and convert from bigint to bigfloat

Fix #2111

Includes brief documentation for bigint and bigfloat.