Thanks for doing this!
On 6/7/2016 1:50 AM, Robert burner Schadek wrote:
== SmartInt ==
SmartInt smartOp strive to actually give the mathematically correct answer
whenever possible, rather than just signaling an error.
== SafeInt ==
SafeInt safeOp strive to match the behaviour of the basic integral types
exactly, $(B except) that where the behaviour of the basic type is wrong, or
very unintuitive, an error is signaled instead.
What the differences between these types are is unclear, for example, the former
says "correct" and the latter says "not wrong". Also, "very unintuitive" has a
pretty slippery meaning.
