revise description of history of the reals based on Blaszczyk paper