Commit 02ace634 authored Oct 28, 2025 by Jan Kiene

Merge branch '1950_basop_portFlpMr2198' into 'main'

Port float MR 2198 to main

Closes #1950

See merge request !2144