A Appendix A.1 Stochastic Rounding