Rounding a Fixed-Point Result