Why are fictional machines numbered in the thousands? (i.e. "HAL 9000" or the "Treadmill-ator 5000")