Fraction型の定義の簡略化