Fixed a bug in the solver (that tells if we're done solving)
Figured out that there is one in Util.isNumber(), but not sure where
yet.