/// <summary>
/// Compares the match result with another, results with lower position
/// are ordered before those with higher position.
/// </summary>
public int CompareTo(MatchResult that)
{
return Ints.Compare(this.Position, that.Position);
}