X'Fraction(Y) 是一個 Ada 屬性,其中 X 是任何浮點型別,Y 是該型別例項。
X'Fraction(Y) 返回帶有指數被替換為 0 的浮點數 Y。這與 X'Compose(Y, 0) 相同。