Symbol: FLOATX80_TO_INT32