fix to round objective value correctly

fixes #1