Merge pull request #96 from msgpack/proper

Add property on float

Author: kuenishi

test/prop_msgpack.erl

@@ -22,14 +22,19 @@ prop_binary() ->
        oneof([fix_raw(), raw16(), raw32()]),
        pack_and_unpack(Binary)).
 
+prop_float() ->
+    ?FORALL(
+       Float,
+       proper_types:float(),
+       pack_and_unpack(Float)).
+
 prop_primitive() ->
     ?FORALL(
        PrimObj,
        oneof(primitive_types()),
        pack_and_unpack(PrimObj)).
 
 
-
 %%% Helpers %%%
 pack_and_unpack(Obj) ->
     Bin = msgpack:pack(Obj),