»
infix -
num.wrap_around.infix -
(other num.this.wrap_around.this)
=>
num.this.wrap_around.this[Redefinition of numeric.infix -]
[Contains abstract features]
¶subtraction, with check for overflow
0.094dev (2025-06-18 15:08:51 GIT hash 89cffc23ae669b0898a5564fefbf793fcb8e5ca7 built by fridi@fzen)