Symbol: TO_INT