TODO

• Rerun benchmarks.
• Redo executable size (with static binaries).
• Redo Karatsuba number and update NEWS if necessary.