Tight Error Analysis in Fixed-Point Arithmetic