anchor.diff:      {_,_,_,false} = {Big,Small,SmallGtBig,
   		     Small > Big},
       {_,_,_,true} = {Big,Small,SmallLtBig,
  -		    Small < Big}.
  +		    Small < Big},
  +    {_,_,_,false} = {Big,Small,SmallEqBig,
  +		     Small == Big},
  +    {_,_,_,false} = {Big,Small,BigEqSmall,
  +		     Big == Small}.
   
   id(I) -> I.
       
  
positive.code: cmp_bignum(_Config) ->
      span_cmp((1 bsl 58) - 1.0),%% Smallest bignum float
  
      %% Test I to I+1 bignum segment overflow
      [span_cmp((1 bsl (32*I)) - 1.0) || I <- lists:seq(2,30)],
  
      cmp((1 bsl (64*16)) - 1, (1 bsl (64*15)) * 1.0),
      [cmp((1 bsl (32*I)) - 1, (1 bsl (32*(I-2))) * 1.0) || I <- lists:seq(3,30)],
      [cmp((1 bsl (64*15)) * 1.0, (1 bsl (32*(I)))) || I <- lists:seq(1,29)],
      ok.
  
  span_cmp(Axis) ->
      span_cmp(Axis, 25).
  
negative.code: 		 io_lib:format("~f > ~p",[Big,Small])),
      BigLtSmall = lists:flatten(
  		 io_lib:format("~f < ~p",[Big,Small])),
      BigEqSmall = lists:flatten(
  		 io_lib:format("~f == ~p",[Big,Small])),
      SmallGtBig = lists:flatten(
  		   io_lib:format("~p > ~f",[Small,Big])),
      SmallLtBig = lists:flatten(
  		   io_lib:format("~p < ~f",[Small,Big])),
      SmallEqBig = lists:flatten(
  		   io_lib:format("~p == ~f",[Small,Big])),
      cmp(Big,Small,BigGtSmall,BigLtSmall,SmallGtBig,SmallLtBig,
  	SmallEqBig,BigEqSmall);
  cmp(Big,Small) when is_float(Small) ->
      BigGtSmall = lists:flatten(
  		   io_lib:format("~p > ~f",[Big,Small])),
      BigLtSmall = lists:flatten(
  		   io_lib:format("~p < ~f",[Big,Small])),
      BigEqSmall = lists:flatten(
  		   io_lib:format("~p == ~f",[Big,Small])),
      SmallGtBig = lists:flatten(
  		   io_lib:format("~f > ~p",[Small,Big])),
      SmallLtBig = lists:flatten(
  		   io_lib:format("~f < ~p",[Small,Big])),
      SmallEqBig = lists:flatten(
  		   io_lib:format("~f == ~p",[Small,Big])),
      cmp(Big,Small,BigGtSmall,BigLtSmall,SmallGtBig,SmallLtBig,
  	SmallEqBig,BigEqSmall).
  
  cmp(Big,Small,BigGtSmall,BigLtSmall,SmallGtBig,SmallLtBig,
      SmallEqBig,BigEqSmall) ->
      {_,_,_,true} = {Big,Small,BigGtSmall,
  		    Big > Small},
      {_,_,_,false} = {Big,Small,BigLtSmall,
  