code: def python_utc_datetime_to_sqlite_strftime_string(
          value: datetime.datetime) -> str:
      
      millisec_str = str(round(value.microsecond / 1000)).zfill(3)
      return value.strftime("%Y-%m-%d %H:%M:%S") + "." + millisec_str
docs: Converts a Python datetime to a string literal compatible with SQLite,
      including the millisecond field.