can now generate float-equations with constant terms (i.e. they do not have 0 as smallest solution anymore)