Are the DJM-800/1000/900Nexus 32bit float or fixed point?

Are the latest generation of DJMs like the TOUR and NXS2 Pioneer's first mixers to have floating point DSP?  Were earlier models fixed point even prior to the digital mixers' output stage (output stages are always fixed point)?