Create size-aware arbitraries for int #5098
Description
🚀 Feature Request
Should probably just be a sizeAware flag on nat/integer. Same could be done for floating points but we should probably prevent both very big and very small.
{{ message }}
Should probably just be a sizeAware flag on nat/integer. Same could be done for floating points but we should probably prevent both very big and very small.