return Float64 from get_objval