Symbol: FLOAT128_TO_INT64