Implement bang (from cf221a35)
Implement tmax
Implement negate
Implement addOk (from 47108be44)
Implement isNonZero (easy)
Implement sm2tc (sign-magnitude to two's complement)