[ moderator's note: Forwarded to C++ Committee for handling. -sdc ]

In several places in 18.2.1.2 [lib.numeric.limits.members], a member is
described as "Meaningful for all floating point types."  However, no clear
method of determining a floating point type is provided.

In 18.2.1.5 [lib.numeric.special], paragraph 1 states ". . . (for example,
epsilon() is only meaningful if is_integer is false). . ." which suggests
that a type is a floating point type if is_specialized is true and
is_integer is false; however, this is unclear.

When clarifying this, please keep in mind this need of users: what exactly
is the definition of floating point?  Would a fixed point or rational
representation be considered one?  I guess my statement here is that there
could also be types that are neither integer or (strictly) floating point.

 -Steve



[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html              ]