fabian/prod: links for arithmetic-lib