test_mont was exercising 100-bit multiplication modulus X*I-bit, where