public override string ToString() { return($"[{Low.ToRoundtripString()}-{High.ToRoundtripString()}]"); }