Translate "Example: A Functorial Package for Rationals"