Filenames

I'm really puzzled as there doesn't seem to be a consistent pattern for it nor description or explanation relating to it anywhere; What do the numbers in the filename mean please? If not already, can there be an option to instead have them formatted as the date of recording? I love this app, but I also really appreciate having time and date in the filename.