bignum development with float_precision library