[eclipse-clp-users] How to handle double values in eclipse clp?

Hello,
I wanted to ask a question regarding data types in eclipse clp. I am using
the following code and i want to change it so that it handles double values
for the cost. I was able to make it handle floating point values by adding
float(Result, Cost). How can i refine it to handle double values?
search_min(List,Dists,Cost) :-
Result $= sum(Dists),
        float(Result,Cost),
        minimize(labeling(List),Cost).
-- 
Best Regards,
Hadeer Diwan