I like that both 0:00 and 24:00 exist. If you say "midnight, August 12", do you mean at the start or the end of the day? There might be a convention, but I don't know it so others probably don't either. With 0:00 and 24:00 and a date, you can disambiguate a time precisely.