{-
24 is the first natural number that has a different CBOR encoding, hence the
separate test here.
-}
24