Use quickcheck when doing roundtrip conversion