Symbol: FLOAT64_TO_INT64