Qual é a melhor maneira de fazer matemática inteira em 32 e 64 bits, para que o estouro ocorra como acontece em C?

por exemplo. (65536 * 65536 + 1) * (65536 * 65536 + 1) deve ser 0x0000000200000001 em matemática de 64 bits e não seu valor exato (não transbordante) 0x10000000200000001.