Programming Infinity