Fix signed subtraction overflow checks. Also add convenience method value<T>().
Fix signed subtraction overflow checks. Also add convenience method value<T>().

chronos-tachyon/mojo,chronos-tachyon/mojo