move _mul128 to mulmod.h ; better _mul128