Henry, here's a reminder of your todo, as I have it, in order of decreasing priority. anonymous CVS cvsweb gmp3 IntInf.log2 web site stats Real.toString/fromString other missing Real and IntInf functions As to the web site stats, something automated would be nice, but I at least am curious to see how downloads have been going since 20010706.