tsa thomassandlassbarcocom haloo wrote usual int arithmetic ranges infinf2 inf2inf except inf predecessor inf successor well lose commutativity ie 1 1 transfinite well course count downwards inf inf1 inf2 etc dont global sign signed coefficients highest multiple inf determining side zero num type also might consider reciprocals inf infinitesimals thing need define points computations hypernums standardized back num application transfinite ints two infinite files concatenated one keep transfinite indices second one size file would inf2 course regards tsa unavoidable price reliability simplicity car hoare simplicity precede complexity follows aj perlis 1 2 3 4 112 srinivasa ramanujan wed 06 aug 2008 172037 0200 new article romp infinity