Port float MR1280 to main-pc

Marek Szczerbarequested to merge
1582_basop_port_fl1280 into main-pc

Closes #1582 (closed).

Edited by vaclav

Merge request reports