michaelg/dev: links for arithmetic-library