Re: [math-fun] Modular square root