nice post, but mildly unfortunate title - the phrase "real analysis" makes me think of http://en.wikipedia.org/wiki/Real_analysis http://en.wikipedia.org/wiki/R

nice post, but mildly unfortunate title - the phrase "real analysis" makes me think of http://en.wikipedia.org/wiki/Real_analysis http://en.wikipedia.org/wiki/Real_analysis first.