Try out a new implementation

Looks like it is possible to get a better compression
and fewer instructions all around (especially memory access)
using an iterative add-with-carry algorithm.