The bigint dividend.
The bigint divisor.
The positive bigint remainder representing n mod m.
Similar to mod, this function implements correct mathematical modulo for large bigints
so that any negative dividend n resolves into a positive remainder modulo m.
Computes the true mathematical modulo of two
bigintvalues, ensuring a non-negative result.