This is the sort of project which causes even me to break from wasting time on HN and go actually download things and try things. In particular, a while back I

This is the sort of project which causes even me to break from wasting time on HN and go actually download things and try things. In particular, a while back I came across an interesting tree-based hugenum representation in Haskell, Paul Tarau's "Hereditarily Binary Natural Numbers". It might be something (somewhat) practical that HVM can be used for right now. I'll see if I can translate it and get it to run.