Port MR1860 from float to BASOP

vaclavrequested to merge
1870-basop-PortFlpMr1860 into main

Closes #1870 (closed)

Also fixes #1849 (closed).

Edited by vaclav

Merge request reports