modExpCRT