Yes but since this is a theoretical example, there is no such thing as "overflow", I can add as many bits as I theoretically need.

It's worth pointing out that on basically every CPU that has a multiply instruction, it takes two single-register operands and returns a double-register result, so your example isn't all that theoretical - it's the reason why almost every CPU with a multiply instruction has different versions for signed and unsigned.