> It can be done as a library, but that is far less ergonomic than having the checks for actual arithmetic operators. You are correct, but I care about correct

> It can be done as a library, but that is far less ergonomic than having the checks for actual arithmetic operators. You are correct, but I care about correctness more. I will use a lobrary to get it. That said, having such checks by default would surely reduce the possible impact of overflow on security, so I would support it.