Addition and overflow handling in a class of redundant RNS with magnitude index