Function exponent_mark 

pub open spec fn exponent_mark(b: u8) -> bool

{ b == ASCII_E || b == ASCII_LOWER_E }