what is another fraction to approximate pi
22/7 is a pretty decent choice for teaching 11-year-olds about fractions that are close to pi. 355/113 would be better, if you think they can remember numbers that big. And approxRational is fun. Exercise for the interested reader: implement an inverse to approxRational.