Converted double timestamps to 64-bit integers, fixed bug in domain server (was faiing to update timestamps).

...th

updating agent timestamps.