I thought I was clear that the result was rounded. The fp imprecision affects the correctness of rounding e.g. half to nearest even.