[This](https://github.com/mlabs-haskell/CIPs/tree/koz/to-from-bytestring/CIP-XXXX#builtinintegertobytestring) shows what's needed here (towards the end of the section). Essentially, these would be concrete illustrations of edge cases.
