[Issue #123] add precision to real objective manager
Merge branch 'feature-rob' into develop