[amelius]

You can nowadays buy a chip-scale atomic clock for $2000, which is a modest fraction of the price of an entire server. Every datacenter should have one.