mp-modsqrt: Always return the smaller possible square root.