infix **°
num.wrap_around.infix **°
Precondition
pre safety: (other ≥ wrap_around.this.zero)
0.095dev (GIT hash cad6e82a0e3c9c244c113471b376798c2d702f2d)
last changed: 2026-04-15
pre safety: (other ≥ wrap_around.this.zero)
'zero **° zero' is permitted and results in 'one'.