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