The absolute trace of totally positive reciprocal algebraic integers