Probabilistic Error Analysis For Sequential Summation of Real Floating Point Numbers. - Johnathan Rhyne (CoRR, 2021)