CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck