Avoid integer overflows in NTDLL_get_server_timeout (spotted by Mike