Wishful thinking... strftime("%f") microseconds, on windows at least, would also be a really nice addition/option