Symbol: FLOAT32_TO_INT64