If lhs >= rhs returns Ok(lhs - rhs) else returns Err(2**128 + lhs - rhs).

​
Signature

pub extern fn i128_diff(lhs: i128, rhs: i128) -> Result implicits(RangeCheck) nopanic;