An x86 function returns a floating point value in st(0), and we must make sure