Function logos_max_f64 

pub fn logos_max_f64(a: f64, b: f64) -> f64

The language’s min and max of two reals (logicaffeine_base::numeric::float_min), which a compiled program calls where the interpreter’s builtins call them. The language’s max of two reals: a NaN gives way to the other operand, and of two equal values the one with the positive sign, so max(0, -0.0) is 0.0 (IEEE 754-2019 maximumNumber).