Harvey L. Davies Infinity Arithmetic, Comparisons and J. 28-34 1995 APL http://doi.acm.org/10.1145/206913.206953 db/conf/apl/apl95.html#Davies95