public new double Tolerance {get;}

{
  // Retrieves the topology properties for the specified map asynchronously.
  var mapTopoProperties = await activeMap.GetTopologyAsync("Map") as MapTopologyProperties;
  var tolerance_m = mapTopoProperties.Tolerance;
  var defaultTolerance_m = mapTopoProperties.DefaultTolerance;
}