const f80_min = @compileError("Deprecated: use `floatMin(f80)` instead");