Convert fpu087.c to C++