Updates modulus to work in JITted code.
Updates NOT to work in JITted code.