Constant DEFAULT_NUM_DISTINCT

pub const DEFAULT_NUM_DISTINCT: u32 = 200;