[Boost-users] Platform independent system time in milliseconds.