server-time for many numerical messages.