C-style floating modulo: $y = a - \mathrm{trunc}(a/b) \cdot b$.

Composite over div_op + trunc_op + mul_op + sub_op. Result has the sign of a because trunc rounds toward zero. Gradient flows through the primitives.

Math

See Also

remainder_op — Python-style sign convention.