In reply to rgarcia07:
According to Section 11.3.1 Operators with real operands in the 1800-2017 LRM, the result of any arithmetic operation with a real operand is a real. So the result of x*f is a real value 9.5. And the result of that real value divided by 10 is 0.95. That real result gets implicitly cast back to an int by rounding to 1(Section 6.12.2 Conversion).