In a​ company, 70​% of the workers are menmen. If 780 people work for the company who​ aren't men​, how many workers are there in​ all?