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