Force gcc to use x86's built-in 64/32->32,32 division instruction