Aaron Suen 07850123d7 Standardize high-resolution gametime.
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.
2019-11-10 08:10:34 -05:00
..
2019-03-23 11:36:22 -04:00
2019-10-05 11:24:16 -04:00