3972: Start of solve(floor (x)-5,x) should not raise NotImplementedError