X'Fraction(Y) 是一个 Ada 属性,其中 X 是任何浮点类型,Y 是该类型实例。
X'Fraction(Y) 返回带有指数被替换为 0 的浮点数 Y。这与 X'Compose(Y, 0) 相同。