realworld/dev: links for arithmetic-lib