What are you assuming about overflow? Three 32-bit numbers multiply out to 96 bits.