Constraint propagation on real-valued quantities | lit.salon