[WIP] Fix float->int symbols