Title: Constraint propagation on real-valued quantities