bochs/fpu/stubs
