manual:chapter3:reals