Constant DEFAULT_NUMBER_FORMATTER 

pub const DEFAULT_NUMBER_FORMATTER: EngFormatter;