\documentclass[nocolor,memo]{j3}
\renewcommand{\hdate}{26 January 2007}
\renewcommand{\vers}{J3/07-113r1}
\usepackage{lineno}
\usepackage{longtable}
\usepackage{xr}
\externaldocument{007}
\begin{document}
\input txtest
\vspace{-10pt}
\begin{tabbing}
\phantom{Reference: }\=\kill\\
To: \>J3\\
Subject: \hspace*{0.25in}\>RRSPACING (UTI 092)\\
From: \>Van Snyder\\
\end{tabbing}
\section{Introduction}
UTI 092 argues that RRSPACING(X) should be an IEEE NaN if X is IEEE Inf.
On the other hand, however, RRSPACING(X) can be written as
ABS(FRACTION(X)) * RADIX(X) / EPSILON(X). RADIX and EPSILON are inquiry
functions, so their result values don't depend upon their argument values,
while the result value of FRACTION(X) is defined to be "the same value as
X" if X is an IEEE infinity. I would be really surprised if ABS(Inf) or
ABS(-Inf) were not Inf, so RRSPACING($\pm$Inf) ought to be +Inf.
Malcolm argues that the definition of FRACTION is defective: IEEE
infinity is not a sensible result for an IEEE infinity argument; the
result ought to be NaN. I suppose it's OK to return the same NaN if the
argument is NaN. Rather than make RRSPACING consistent with the
defective FRACTION, we probably need an interp to correct FRACTION. Or
could we just announce an incompatibility in 1.6.3?
\edits{07-007}
\stdref{420:9}[Editor: ``zero'' $\Rightarrow$ ``an IEEE NaN''.]
\stdref{420:10+}[Editor: Delete UTI 092.]
\section{On the other hand}
\stdref{420:7}[Editor: insert ``= ABS(FRACTION(X)) * RADIX(X) /
EPSILON(X)'' after ``$b^p$''.]
\stdref{420:9}[Editor: ``zero'' $\Rightarrow$
``IEEE\_VALUE(X,IEEE\_POSITIVE\_INF) (14.1, 14.10.36)'' or ``zero''
$\Rightarrow$ ``positive IEEE infinity''.]
\stdref{420:10+}[Editor: Delete UTI 092.]
\section{If we can change FRACTION without an interp}
Do the edits in Section 2 and don't do the ones in Section 3.
\stdref{3:29}[Editor: Add a sentence: ``The result of FRACTION(X) with X
an IEEE infinity has been changed from that infinity to an IEEE NaN.'']
\stdref{383:8}[Editor: Delete ``infinity or''. Add a sentence: ``If X is
an IEEE infinity the result is an IEEE NaN.'']
\label{lastpage}
\end{document}