May I remind you of the first sentence of the scope of 1788.1 working
group, as accepted by IEEE, and thus that cannot be modified. "This
standard is a subset of the (full) IEEE P1788 Standard for Interval
Arithmetic and includes those operations that in the the editors’
view are most commonly used.” In particular, this means that 1788.1
cannot contain anything that is not already in IEEE 1788-2015. It
cannot mandate anything which is not mandatory in IEEE 1788-2015. **
Thus any vote that does not respect this rule will not be accounted
for. **