SafeMath¶ Synthetix uses OpenZeppelin's SafeMath library to ensure that, in basic arithmetic operations, overflows and zero division revert the transactions they occur in.