Another implementation of multi->binary arithmetic expansion