mul/sqr on 2^127-1