Merge "Add a test for SafeMath."