More (optional) impls for direct_repr!

Created by  pmeunier  on July 30, 2021
LK2C7EU4SM5HIEBRARQMLRL7IFQYBD3SXWXB2YSZL577NQFTZCIQC
Change contents