Surreal Numbers: A Study of Square Roots (Formalized Mathematics, 2025)