C23 Checked Arithmetic

I suggest changing the link to https://github.com/jart/jtckdint and the title to "A header file that implements C23 Checked Arithmetic".