Port MR1557 from float to BASOP
Closes #1705 (closed)
Note: the names of porting branches 1706-xx-PortFlpMR1557
are wrong and should actually be 1705-xx-PortFlpMR1559
.
Edited by vaclav
Closes #1705 (closed)
Note: the names of porting branches 1706-xx-PortFlpMR1557
are wrong and should actually be 1705-xx-PortFlpMR1559
.