Symbol: FLOAT128_TO_INT32