dysfun@treehouse.systems ("gaytabase") wrote:
it would completely break soundness, but you know, overflow doesn't break as much of arithmetical reasoning as i'd have thought.
dysfun@treehouse.systems ("gaytabase") wrote:
it would completely break soundness, but you know, overflow doesn't break as much of arithmetical reasoning as i'd have thought.