Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities (ArXiv cs.LO Recent Papers, 2026)