discussion:manual:chapter3:reals