[solvers.hh] Always convert the reduction to double explicitly.
This already happened for most solvers when setting the reduction in the
result struct. It is may be needed when the field type is some extended
number type that prohibits implicit conversion to double
. This commit
brings the remaining two solvers in line that did not do this yet.