Constant dintegral 

pub const dintegral: Key;