bignum_ops(-123456789012345678901234567890, 42, 9000000000900000000090, 122443787781019052100, 1234567890123456788901234657800000).
bignum_float_conversion(1.881676372353658e+78).
bignum_mod_rem_agree_for_positive_operands(122443787781019052100, 122443787781019052100).
bignum_gcd_commutative(42, 42).