I I am trying to do a devil's advocate review of my list of attributes of floating point numbers prior to publication of the module that defines them.
Given a type T, say real(w), what is a single word to describe w, the result of `numBits(T);.
I have always called it width, of more precisely, said that a real(32) is 32-bits wide. Certainly when we refer to the bandwidth of a 32-bit bus, we say that the width of the bus is 32 bits, But maybe that is a different context.
The IEEE 754 standard says that a binary32 type has a length of 32 bits.
I was going to defer to the standard. Does that make sense? Just to cause a discussion, I am going to say I disagree. Does anybody else have anything to say?