[Fractdev] Safe Integer Arithmetic