X'Fraction(Y) is an Ada attribute where X is any floating-point type and Y is any instance of that type.

X'Fraction(Y) returns the floating point number Y with the exponent replaced with 0. This is the same as X'Compose(Y, 0).