I can't seem to find a study which showed that while only %3 of men ever make such comments, women involved in our community experience this a steady stream of subtle harassment. And the sad fact is that this is due to the lopsided share of men to women. If we had a 50/50 split some women would never hear such comments, some would hear then extremely rarely, while the percentage of men making them would stay the same…
And your math is off. Even if there was only one woman in tech anywhere, reducing 100% male interaction to 50% male interaction would only decrease the jerk count by a factor of two.