Math SafeMath.sol This is a standard math library from Zeppelin that checks against overflows and underflows of uint types.