Use Kahan summation?

[patrick-kidger]

At least as an option, this might be a nice thing to have. Would need to think about the correct way of backpropagating through it + making sure XLA doesn't compile it away.

C.f. also Section VIII.5 of Hairer-Lubich-Wanner, which is the only reference I know of that actually discusses this.