Ensures conformity to the standard. That is for two parameters to be equivalent to: (|x| < |y|) ? |y| : |x| and this behaviour is also ensured on n parameters calls as if this scheme was recursively used. If one of the arguments is \(\pm\infty\) returns \(\infty\) even if some other arguments are NaNs. (with no consideration of Nans)
NaNs are considered less than anything else.
compute the upgraded result if available.
returns NaN as soon as one of the parameters is a NaN.