Description: Alternate expression for the absolute value of a real number. Lemma for sqrtcval . (Contributed by RP, 11-May-2024)