Exploiting binary floating-point representations for constraint propagation