ToDate function in formula

Should be a small thing to implement but will help to simplify a lot of code. When I have DateTime field in entity sometimes I want to extract only the date part of it. The only way to do it at this moment is to extract each component separately.
The use case is especially relevant when dealing with timezones. As Date doesn’t care about timezones while DateTime does.
I suggest a ToDate function which would take DateTime and return Date part only.