\begin{Schunk}
\begin{Sinput}
 pt( 12/7, df = 95, lower = FALSE)
\end{Sinput}
\begin{Soutput}
[1] 0.04486855
\end{Soutput}
\end{Schunk}
