workers is an int