dhall encode --json: DeserialiseFailure 0 "unexpected CBOR token type for a JSON value: TypeFloat16"

[sjakobi]

Here are the problematic cases I've found:

$ echo 'NaN' | dhall encode --json
dhall: DeserialiseFailure 0 "unexpected CBOR token type for a JSON value: TypeFloat16"
$ echo 'Infinity' | dhall encode --json
dhall: DeserialiseFailure 0 "unexpected CBOR token type for a JSON value: TypeFloat16"
$ echo '-Infinity' | dhall encode --json
dhall: DeserialiseFailure 0 "unexpected CBOR token type for a JSON value: TypeFloat16"
$ echo '0.0' | dhall encode --json
dhall: DeserialiseFailure 0 "unexpected CBOR token type for a JSON value: TypeFloat16"
$ echo '-0.0' | dhall encode --json
dhall: DeserialiseFailure 0 "unexpected CBOR token type for a JSON value: TypeFloat16"

[sjakobi]

Another one:

$ echo '12.0' | dhall encode --json
dhall: DeserialiseFailure 0 "unexpected CBOR token type for a JSON value: TypeFloat32"