server-time is done for numeric messages.