ObjectiveManager simplification

-no more need to cast the objective manager for ints or reals.