Looking over the list archives, there appears to have been some work done a couple years back on adding support for floating point values - is there any currently activity on this topic in gecode? Cheers, CY