Thrilled that the new integer protocols have been merged!
Just for fun, I've started taking a stab at the low-hanging fruit in
DoubleWidth and wanted to check in here to make sure that tightening up
that implementation would be welcome/not duplicative.