Function div 

pub fn div(a: u8, b: u8) -> u8

Field division a / b. 0 has no inverse, so a zero divisor yields 0 — a safe, defined sentinel (NOT a meaningful quotient) that holds identically in debug and release; callers must still treat b == 0 as a precondition violation, never as a value.