Factoring x^2+bx+c (c positive)