Votes on motions 33, 34, and 35

[Guillaume Melquiond <guillaume.melquiond@xxxxxxxx>]

I vote:

Motion M0033.01 Number Format: YES
Motion M0034.01 Notation: YES
Motion M0035.01 Overflow before Unbounded: NO

I vote NO on motion 35 because I consider that, not only does it
introduce an unwarranted level of complexity, but it is also built upon
an incorrect premise. Basically, it assumes that the hull of the image
by a function of a bounded closed interval included in its domain is a
bounded closed interval. Yet it is trivial to build mathematical
functions that do not satisfy this property; one just has to consider
discontinuous functions. This means that IR is not a suitable set of
intervals at level 1. Unbounded intervals have to be present at level 1,
and they have to mean more than just overflowing intervals.

Best regards,

Guillaume