On 2020-01-13 11:10, ToddAndMargo via perl6-users wrote:
https://docs.raku.org/type/UInt Subset UInt Unsigned integer (arbitrary-precision) The UInt is defined as a subset of Int: my subset UInt of Int where {not .defined or $_ >= 0}; Consequently, it cannot be instantiated or subclassed; however, that shouldn't affect most normal uses
Trivia: In https://docs.raku.org/type/UInt, a cardinal (uint) is a subset In https://docs.raku.org/language/nativetypes, a cardinal (unit) gets their own "native type". Life in the documentation lane! :-)