anchor.diff:  	             {field_num(), uint(64),uint64},
   	             {field_num(), bool(),bool},
                    {field_num(), sint(32),sint32},
  -		         {field_num(), sint(64),sint64}])).
  +		         {field_num(), sint(64),sint64},
  +		         {field_num(), real(),float},
  +		         {field_num(), real(),double}])).
   
   field_num() ->
       ?SUCHTHAT(N,nat(),N>0).
  
positive.code: 
  -compile(export_all).
  
  -define(NotYetImplemented(Cond,Prop),?IMPLIES(not (Cond),Prop)).
  
  %% eqc_gen:sample(protobuffs_eqc:field_num()).
  
negative.code:     	    begin
          		{{N, RData}, <<>>} = protobuffs:decode(list_to_binary(protobuffs:encode(FieldNum, Data, Type)), Type),
          		FieldNum=:=N andalso 
          		(compare(Data,RData) orelse foreign_type(Type,Data,RData))  
      	    end
  	    )).
  
  