I get hammered every time I mention this, but what happens when a primate type overflows should be handled by the type system.<p>IE, by default overflow checked and is an error. But you can declare a type with something like twos_complement. And the compiler will implement the expected behavior. Or if you want no you can disable overflow checks.<p>This stuff really should not be global behavior. Because 90% of the time the cost of overflow checks is nil so you should do them.