pub fn logos_rem_i128(a: i128, b: i128) -> i128
Truncating i128 remainder inside a width-bounded exact chain — the canonical zero-divisor error, sign of the dividend.