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)