[expr]'s [int]eger square root function