const f80_max = @compileError("Deprecated: use `floatMax(f80)` instead");