64 bit mod 32 by subtraction