https://doc.rust-lang.org/std/primitive.i64.html#method.saturating_mul
https://llvm.org/docs/LangRef.html#saturation-arithmetic-intrinsics also RVV spec and also OpenPOWER spec