On Friday, 29 October 2021 at 14:23:49 UTC, Kagamin wrote: > Unsigned integers aren't numbers. > assert(-abs(1)<0); That's what I mean. The mapping between number classes and data types are too vague.