Change EngineXfader to use double-precision floating point.