double operator +(Object other) { _checkArg(other, "other"); return switch (other) { num() => value + other, DoubleWithTolerance() => value + other.value, _ => throw TypeError(), }; }