3972: Start of solve(floor (x)-5,x) should not raise NotImplementedError
First successful solve call solve(floor(b)-5,b,simplify=False,check=False) returned [(5, 6]] for b=Symbol('b',real=True)
First successful solve call solve(floor(b)-5,b,check=False) returned [(5, 6]] for b=Symbol('b',real=True)
Add support for element wise rounding of Set elements in RoundFunction
rebased to 1318