The expression $pi > 0$ has the type sage.symbolic.expression.Expression. How can I force the evaluation and get the result True.