michaelg/dev: links for divmod-prime