[Stds-754] motion for Aug: Additional Conformance Predicates

[Ronald Smith <rmsmith1@xxxxxxxxxx>]

Dan, I'd like to make the following motion at the August meeting.

Regards, Ron Smith

(The page numbers and text used in this motion are from
DRAFT Standard for Floating-Point Arithmetic P754 Draft 1.1.2,
dated July 28, 2006)
--------------------------------------------------
Motion: Additional Conformance Predicates

Page 33, section 7.8.1, "Conformance predicates"

Add the following:

boolean isFormat(StandardLevel, FormatType)

isFormat (S,T) is true iff FormatType T is supported for StandardLevel
S; where StandardLevel is any of the ANSI-IEEE Floating-Point Standards
(754, 854, 754R, etc.) and FormatType is any of the formats defined in
that standard.

Rationale

It is not sufficient for a user (or program) just to know whether the
programming environment conforms to a particular standard.  The user may
need to know which formats are supported.  The standards make it
optional which formats are supported and the programming
environment may include operations and functions for formats that are
not fully supported.