target/i386: reimplement f2xm1 using floatx80 operations