PNaCl: arithmetic operations