Symbol: int_sqrt