pub fn checked_div_u64(a: u64, b: u64) -> SdkResult<u64>
Divide two u64 values and check for division by zero.