Constant REAL_MINUS_INFINITY 

pub const REAL_MINUS_INFINITY: u8 = 0x41;