On 05/16/11 15:01, Pádraig Brady wrote: > I just noticed this excellent paper on AIR integers > http://www.cert.org/archive/pdf/09tn023.pdf
Thanks, this inspired me to add intprops documentation to the gnulib manual, which I just pushed. There's an updated version of that paper, at: http://www.sei.cmu.edu/library/abstracts/reports/10tn008.cfm and the new documentation cites this paper.
