Unchecked arithmetic is dangerous in financial code.
Implement checked_product.
checked_mul.Ok(product) when multiplication succeeds.Err("overflow") otherwise.Many Solana program bugs start with safe-looking arithmetic that fails at large values.