const SCROLL_ZOOM_RATE: f32 = 0.002;
Zoom factor exponent per pixel of scroll. One rate, so a wheel notch means the same thing whichever host read it.