pub fn checked_add(a: u64, b: u64) -> Result<u64, ProgramError>
Checked u64 addition: returns ArithmeticOverflow on overflow.
ArithmeticOverflow