Modular square root