Do not round off objective value in ProblemReport.txt
Merge commit 'ae3255c591239d410b1093f58b055ae938bb88f9'