Commit 4a1b55a1 authored Sep 29, 2025 by Devansh Kandpal

Merge branch '1756_basop_MR_fl1738' into 'main'

Resolve "Port float MR1538 to main"

Closes #1756

See merge request !2279