michaelg/dev: links for arithmetic-lib