const f80_true_min = @compileError("Deprecated: use `floatTrueMin(f80)` instead");