[plc] Support for `Natural` numbers in the universe, backed by Integer#6346

Merged

bezirg merged 1 commit intomasterfrom bezirg/ratinteger

Jul 26, 2024

+23

Commits on Jul 26, 2024

[plc] Support for Natural numbers in the default universe, backed by Integer.
bezirg
committed