Merge branch 'fix/consistently-convert-reduction-to-double' into 'master'

Jö Fahlkerequested to merge
cherry-pick-e8223df8-2 into releases/2.6

[solvers.hh] Always convert the reduction to double explicitly.

See merge request !138 (merged)

(cherry picked from commit e8223df8)

82476058 [solvers.hh] Always convert the reduction to double explicitly.

Merge request reports