Subtraction of m31s in field.

​
Signature

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