Modify expmod procedure in 1.28
Add Miller-Rabin test to ex-1.28