Use high-res version in a few places we were using integer-res timer before. This should e.g. smooth time variation of wind strength for ambient sounds.
