principal square root