Canonical Modulus. The result has the sign of the divisor.
BigInt modulusBig(BigInt dividend, BigInt divisor) => ((dividend % divisor) + divisor) % divisor;