solve x^2-4x+floor(x)+3=0 over reals