anchor.diff:          binary -> {all,St};
           _ -> {unknown,add_error(Anno, illegal_bitsize, St)}
       end;
  -bit_size_check(Anno, Size, #bittype{type=Type,unit=Unit}, St) ->
  +bit_size_check(Anno, Size, #bittype{type=Type,unit=Unit}, St)
  +  when is_integer(Size), is_integer(Unit) ->
       Sz = Unit * Size,                           %Total number of bits!
       St2 = elemtype_check(Anno, Type, Sz, St),
       {Sz,St2}.
  
positive.code:             end
      end.
  
  extract_sequence(1, [$-,C|Fmt], Need) when C >= $0, C =< $9 ->
      extract_sequence_digits(1, Fmt, Need);
  extract_sequence(1, [C|Fmt], Need) when C >= $0, C =< $9 ->
      extract_sequence_digits(1, Fmt, Need);
  extract_sequence(1, [$-,$*|Fmt], Need) ->
      extract_sequence(2, Fmt, [int|Need]);
  
negative.code: extract_sequence(1, Fmt, Need) ->
      extract_sequence(2, Fmt, Need);
  
  extract_sequence(2, [$.,C|Fmt], Need)
    when is_integer(C), C >= $0, C =< $9 ->
      extract_sequence_digits(2, Fmt, Need);
  extract_sequence(2, [$.,$*|Fmt], Need) ->
      extract_sequence(3, Fmt, [int|Need]);
  