This should not be in `dateformat.py`