Constant saturating_div 

pub const saturating_div: Symbol;