dhall-1.25.0: dhall-lang/tests/binary-decode/success/unit/NaturalTwentyFourB.dhall
{-
24 is the first natural number that has a different CBOR encoding, hence the
separate test here.
-}
24
{-
24 is the first natural number that has a different CBOR encoding, hence the
separate test here.
-}
24