Docstring for SafeEq Integer instance