Some top-level design docs and to the Number trait, UInt. Also, what is extract/widen useful for.
Some top-level design docs and to the Number trait, UInt.
Also, what is extract/widen useful for.