@Dyoung Also known as "Russian Peasant Multiplication", it can be generalised to powers (and is used in multi-precision packages) and to multiply and take powers of matrices.

It's really cool!