Exploiting Binary Floating-Point Representations for Constraint Propagation