We create a new file per each request and there can be a lot of them
created on a busy site. The semicolon should avoid troubles where comma
could somehow be used in the float microtimestamp.