RatNumber from Lecture 17 (and test).