solve(): account for numerical errors

When deciding if a resolution was successful or
not, we might just reach the value of the dummy
coefficient.