In a​ company, 85​% of the workers are women. If 615 people work for the company who​ aren't women​, how many workers are there in​ all?