Notices by Oscar Cunningham (oscarcunningham@mathstodon.xyz)

@4raylee @ColinTheMathmo 44.052 Doesn't round to 44.0 even if you're rounding to even.

@ColinTheMathmo @4raylee In the contexts I've seen 'rounding to even' used, it's meant rounding *halves* to even as a tiebreak. Other numbers still get rounded normally.

@johncarlosbaez It would be an interesting gimmick to have a piece played by two groups of musicians some distance apart, where he audience is instructed to walk slowly from one group to the other.

The two parts would slowly go out and back into phase with each other. There would also be interesting effects on the timbre from one group being quiet and near while the other is louder and further away.