Division of m31s in field.

​
Signature

extern fn m31_div(a: BoundedInt, b: NonZero>) -> BoundedInt nopanic;