[Accepted] SE-0233 - Make Numeric Refine a new AdditiveArithmetic Protocol