Use fast float-to-int conversions for some mixer-related code