typ'Small_Numerator 对任何定点子类型都生成 typ'Small 的表示形式中的分子,该表示形式为具公因子(即为不可约分数)的有理数。
typ'Small_Numerator
typ'Small