pub open spec fn decimal_mantissa_start(bytes: Seq<u8>) -> int
{ if bytes.len() > 1 && bytes[1] == ASCII_MINUS { 2 } else { 1 } }