FMNMX: the larger (smaller) of two values; a NaN operand gives the other,
two give the canonical NaN; -0 is below +0. (What the argmax realizations
use it for -- a running maximum and the smaller token of a tie -- does not
depend on the zeros' order; it is ASSUMED, not yet held to a card.)
212def modelF32ExtremumNaN : Nat = 2147483647The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.