Constant double 

pub const double: Symbol;