Hi,
I have used the CMSIS-DSP functions for this kind of thing - see Arm_biquad_cascade_df1_f32 and check out the hilbert_pdn and iir_bp_fb code here.
I used Direct Form I, but there are others available.
As for the motivation for how it’s done in DaisySP, I’m afraid I have no insight.
Cheers