One algorithm a day: floor of the square root of the input