Use 32bit math like Bochs