Port float MR1280 to float-pc

Marek Szczerbarequested to merge
1582_ref_port_fl1280 into float-pc

Closes #1582 (closed).

Edited by vaclav

Merge request reports