std-make
std-make copied to clipboard
strong: Add strong_natural that is unsigned without modulo arithmetic
What would be the result of strong_natural - strong_natural if any? Do we need strong_integer?