BigInteger operators and casting