ballots on round to integral and conversion to integer
I have revised integral.txt to encompass a static round to nearest function
for rounding to integral in floating-point formats. Those who voted
previously should consider whether to change their votes.
I have added convert-integer.txt to propose analogous changes for
conversions to integer formats.