Closed BNAndras closed 2 months ago
Might be worth adding a positive_integer type to implement here.
Happy to wait for that if you wish
Got impatient
Might be worth adding a positive_integer type to implement here.