{X + Y >= 1} fails - bug?

Given (as per example in docs):

?- use_module(library(clpr)).
?- {X + Y >= 1}.

In swi-prolog 8.5.8 and 8.5.9 it fails:

false.

But in 8.4.2 and 8.5.7 it succeeds:

{Y=1.0-X+_A, _A>=0.0}.

The 8.5.8 announcement did mention potential regressions. Am seeking reassurance that this is an actual bug, before reporting it :slightly_smiling_face:

Thanks! Pushed a fix.