Sergey Gromov wrote:
So it's probably feasible to ban uint from SafeD, implement natural numbers by some other means, and leave uint for low-level wizardry.
SafeD is about memory safety, i.e. no corrupted memory. Dealing with integer overflows falls outside its agenda.
