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.