Talk:Fail-stop

Untitled
Modulo addition and multiplication *are* associative with themselves - most programming languages would have (1 + INT_MAX) + 5 = 1 + (INT_MAX + 5) = INT_MIN + 5

Saturating integer arithmetic, floating point arithmetic, and exceptions-on-overflow are non-associative, but that's not actually because of overflow, and that's not what the article discusses.

Overflow
The article says * For example, the "+" operator in many programming languages is not associative because of the possibility of floating-point overflow. but the Example that follows, and the linked "overflow" text, both talk about integer overflows and not floating-point. If floating-point overflows are a distinctly separate phenomenon than integer overflows, there should be an appropriate example; otherwise the text "floating-point" should probably be removed or replaced with "numeric" — Preceding unsigned comment added by 97.120.54.234 (talk) 02:26, 18 January 2022 (UTC)