Symbol: op_ieee_float