switch to precise32 to avoid 64-bit problems