연산에서 safeMath 쓰는 건 솔리디티 기본아닌가요?

safeMath 안 쓴 건 오버플로우 체크를 안 하고 있는건데, 어떻게 없다고 단정할 수 있죠?

다른 코드들은 왜 그러면 safeMath 를 쓸까요? 코드만 길어지는데...