Description: A positive Pell solution is a positive real. (Contributed by Stefan O'Rear, 19-Sep-2014)