even more comments for the big integer multiplier