pub const DEFAULT_METRICS_STREAMING_INTERVAL: Duration;
The default metrics streaming interval (500 milliseconds) to use if left unspecified.