public class BetterFraction extends Fraction {
  // ...
} // BetterFraction