Opinions about whether tag 2 and 3 big numbers in the range of major types 0 and 1, must be encoded as major types 0 and 1