positiveSquareRootMaybe