Constant REAL_PLUS_INFINITY 

pub const REAL_PLUS_INFINITY: u8 = 0x40;