Целочисленный квадратный корень

Дано неотрицательное целое n. Верните floor(sqrt(n)) - наибольшее целое, квадрат которого не превышает n. Вычисления с плавающей точкой (math.sqrt и подобные) использовать нельзя - они могут дать неточный результат на больших n. Нужен целочисленный бинарный поиск.