Recommendations for compact recorder capable of true line level 32 bit float recording
I'm after a recorder, as small as possible, solely to record the output of a DJ mixer during events. Typically these mixers feature an unbalanced line level 'rec' output that is fixed (unaffected by changes to the master volume level which may vary considerably across the event). As individual channel sources and gains will still vary and potentially exceed a given threshold, it would be useful if it had 32 bit float recording capability, to be able to plug it in and leave it without having to monitor levels throughout the event / correct any clipping in recordings afterwards. I wouldn't need built-in microphones, though it wouldn't matter if it had some.
I tried a Zoom H1essential (as it was cheap and 32 bit), and updated the firmware to be able to adjust the input gain, but even with this set to 0, the rec output of my mixer overloaded the input. After some further research I discovered that a lot of input sockets marked as being able to take a line level signal are not 'true' line level and that actual line level signals can be too hot for them. It seems like another contender, the Tasam DR-05XP, might struggle in the same way.
I was also looking at the Zoom F3 which features a dedicated line setting which reduces the input level by 20db - is anyone able to confirm that it would be appropriate for this purpose? And as it's considerably more expensive and kind of overkill for this, can anyone recommend any cheaper options that would meet these criteria? I know 32 bit float compact recorders are a fairly recent arrival so what I'm after may not exist yet / the F3 may be the closest thing...
Thanks!