On Tuesday, 14 June 2016 at 13:58:29 UTC, tsbockman wrote: > Given the above, I believe we should move forward with > `checkedint` as-is. Someone can add a `BoundInt` type to it > later, if there is demand. Ok. Thanks.