[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.