Integer square root