Merge branch '1925-basop-PortFlpMr1911' into 'main'

[non-be] [allow-regression] Port MR1911 from float to BASOP

Closes #1925

See merge request !2112