Incidentally, the previous most efficient known algorithm for integer multiplication was co-discovered by the chief author of GNU TeXmacs, a typesetting word processor.