Num.maxNat does not exist #164

Job	Run time
check-changes	20s
check-changes	20s
ran-none	0s
ran-none	0s
start-nix-linux-aarch64-build-default-test / nix-linux-arm64	49m 28s
start-nix-linux-aarch64-build-default-test / nix-linux-arm64	49m 28s
start-macos-x86-64-tests / test-rust-macos-x86-64	19m 31s
start-macos-x86-64-tests / test-rust-macos-x86-64	19m 31s
start-nix-linux-aarch64-cargo-build-test / nix-linux-arm64	43m 44s
start-nix-linux-aarch64-cargo-build-test / nix-linux-arm64	43m 44s
start-nix-linux-x86-64-tests / nix-linux-x86	38m 27s
start-nix-linux-x86-64-tests / nix-linux-x86	38m 27s
start-nix-macos-apple-silicon-tests / nix-apple-silicon	26m 30s
start-nix-macos-apple-silicon-tests / nix-apple-silicon	34m 17s
start-roc-benchmarks / benchmark roc programs	5m 22s
start-roc-benchmarks / benchmark roc programs	5m 22s
start-ubuntu-x86-64-tests / test zig, rust, wasm...	21m 39s
start-ubuntu-x86-64-tests / test zig, rust, wasm...	21m 39s
start-windows-release-build-test / windows-release-build	12m 24s
start-windows-release-build-test / windows-release-build	12m 24s
start-windows-tests / windows-test-subset	33m 35s
start-windows-tests / windows-test-subset	33m 35s
ran-full	0s
ran-full	1s
finish	1s
finish	1s
	8h 29m 50s

Provide feedback