For a correct translation, the function date_t should be aware of the date format

I am an Italian speaking user of date module.
I appreciate a lot the efforts towards the correct translating of "May" string but I think there is still a problem in date_t function.
The original function has the following code:

    foreach (date_month_names_translated() as $delta => $month) {
      $replace[$untranslated[$delta]] = $month;
      $replace[drupal_substr($untranslated[$delta], 0, 3)] = drupal_substr($month, 0, 3);
    }

The result is that May is ALWAYS translated in the abbreviated form.
If I change the order of the instructions

    foreach (date_month_names_translated() as $delta => $month) {
      $replace[drupal_substr($untranslated[$delta], 0, 3)] = drupal_substr($month, 0, 3);
      $replace[$untranslated[$delta]] = $month;
    }

"May" is ALWAYS translated as a long month name (even when it is abbreviated).

I think that a possible solution is to add the $format argument to function date_t in order to tell when it is abbreviated and when it is in long format and, consequently, to choose the right translation.