145: non-gmp version