[math-fun] Square root curiosity