CLP(Q,R): constraints over rational numbers and floats by Leslie de Koninck - View it on GitHub