Constant div

pub const div: Symbol;