Constant rem_euclid 

pub const rem_euclid: Symbol;