Symbol: INT64_TO_FLOAT32