pub fn logos_rem_i64(a: i64, b: i64) -> i64
checked_rem is None on a zero divisor (canonical panic via the exact helper) and on i64::MIN % -1 (which the helper resolves to 0 — cold but correct).
checked_rem
None
i64::MIN % -1