const inf_f80 = @compileError("Deprecated: use `inf(f80)` instead");