Use random_number rather than random, for external server distribution. Bug 2694