Converts a timestamp a into a date.

Important hint: Internally, the date still has a time component. An equality test (e.g. with the function a == b ? c : d) of two seemingly equal date values may lead to a negative result since such a test considers the time components of the two date values!