CAV-2021 #224 Rigorous Roundoff Error Analysis of Probabilistic Floating-Point Computations