Addition of rational numbers exercises — LessWrong