typ'Small_Numerator 對任何定點子型別都生成 typ'Small 的表示形式中的分子,該表示形式為具公因子(即為不可約分數)的有理數。
typ'Small_Numerator
typ'Small