anchor.diff:     [H|ensure_exp(T)].
   
   split_with(List,Atom) ->
  -   F = fun(A) when A == Atom ->
  +   F = fun(A) when A =:= Atom ->
                false;
  -          ({A,_}) when A == Atom ->
  +          ({A,_}) when A =:= Atom ->
                false;
             (_) ->
                true
          end,
      {L1,L2} = lists:splitwith(F, List),
  -   if L2 == [] ->
  +   if L2 =:= [] ->
            {L1,L2};
         true ->
            case lists:member(Atom, tl(L2)) of
  
positive.code:                P
           end,
     P2 = case Exponent =/= [] andalso
                maps:get(minimum_integer_part_size,P1) == 0 andalso
                optional_length(Integer) > 0 of
             true ->
                P1#{minimum_integer_part_size => 1};
             _ ->
                P1
          end,
     P3 =  case maps:get(minimum_integer_part_size,P2) == 0 andalso 
                  maps:get(minimum_fractional_part_size,P2) == 0 of
              true ->
                 P2#{minimum_fractional_part_size => 1};
              _ ->
  
negative.code:          {PresMods,[]};
        true ->
           Last = lists:last(PresMods),
           if Last =:= $a;
              Last =:= $t;
              Last =:= $c;
              Last =:= $o ->
                 First = lists:sublist(PresMods, Len - 1),
                 {First, [Last]};
              true ->
  