Constraint propagation on real-valued quantities