Translate "Example: A Package for Rationals"