What would be the result of strong_natural - strong_natural if any? Do we need strong_integer?
What would be the result of strong_natural - strong_natural if any?
Do we need strong_integer?