SafeMath interesting behaviour