Disposing X86 FPU Stack in Binary Translation