Is datetime.date covered elsewhere?