Constant div 

pub const div: Symbol;