CRT improvements in maths and in rabin