Speed up primality proof tests on non-64-bit machines