Try a trick to make continuous integration work again

rosenbrock.pl

@@ -295,7 +295,7 @@ rw_coeff(random,_,_,_,Result) :-
    !,Result is random_float.
 
 rw_coeff(infinity,_,_,_,Result) :-
-   !,Result is inf.
+   !,Result is 1.0Inf.
 
 rw_coeff(t,_,_,Time,Time) :-
    !.