[math-fun] Modular square root