Module arithmetic

Source

Functionsยง

adc
set a = a + b + carry, and return the new carry value.
mac
Calculate a + b * c, returning the lower 64 bits of the result and setting carry to the upper 64 bits.
mac_discard
Calculate a + b * c, discarding the lower 64 bits of the result and setting carry to the upper 64 bits.
mac_with_carry
Calculate a + (b * c) + carry, returning the least significant digit and setting carry to the most significant digit.
sbb
set a = a - b - borrow, and return the new borrow value.