So is there a good portable way, or an existing popular module already implemented on various OS's, to get the native (or at least full-precision) time stamp of a file?