Numerical Errors in Quantitative System Analysis With Decision Diagrams. - Sebastiaan Brand; Arend-Jan Quist; Richard M. K. van Dijk; Alfons Laarman (CoRR, 2025)