implementation, BigNum