Commit 480834a3 authored Aug 25, 2025 by Devansh Kandpal

Merge branch '1863_basop_port_fl1678' into 'main'

[Rend non-be] Resolve "Port Float MR1678 to main"

Closes #1863

See merge request !1988