SICP 2.1: Rational numbers