General Product Error Decomposition for Quantized Multiplication — Phiacta