def Float.Model.UnpackedFloat.minimum : UnpackedFloat → UnpackedFloat → UnpackedFloat

Computes the IEEE-754-2019 minimum of two floats. The result is NaN if either operand is NaN; otherwise it is the smaller operand, where -0 is considered smaller than +0.

Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)

def Float.Model.UnpackedFloat.minimumNumber : UnpackedFloat → UnpackedFloat → UnpackedFloat

Computes the IEEE-754-2019 minimumNumber of two floats. A NaN operand is ignored in favor of the other operand, so the result is NaN only if both operands are NaN; otherwise it is the smaller operand, where -0 is considered smaller than +0.

Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)

def Float.Model.UnpackedFloat.maximum : UnpackedFloat → UnpackedFloat → UnpackedFloat

Computes the IEEE-754-2019 maximum of two floats. The result is NaN if either operand is NaN; otherwise it is the larger operand, where -0 is considered smaller than +0.

Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)

def Float.Model.UnpackedFloat.maximumNumber : UnpackedFloat → UnpackedFloat → UnpackedFloat

Computes the IEEE-754-2019 maximumNumber of two floats. A NaN operand is ignored in favor of the other operand, so the result is NaN only if both operands are NaN; otherwise it is the larger operand, where -0 is considered smaller than +0.

Important: this operation only works correctly if the two inputs are in canonical form for a common format (see the docstring for UnpackedFloat for details.)