Remainder (% operator). The result has the sign of the dividend.
BigInt remainder(BigInt dividend, BigInt divisor) => dividend % divisor;