Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic