Handle large 64-bit values, but only the low 64-bit half of the multiplication, add...