If you know that you're working with numbers as big as 15 and 14, you could alternatively use more residues so that you can represent those numbers. If you don

If you know that you're working with numbers as big as 15 and 14, you could alternatively use more residues so that you can represent those numbers. If you don't know how big the numbers get, then you do run into the issue I mentioned of overflow detection being expensive.