Remainder and exponent implementations