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