Fix accuracy bugs around float/double/int conversions#15098

Merged

DHowett merged 2 commits intomainfrom dev/lhecker/float-double-inaccuracy-bugs

Apr 4, 2023

+55-59

Commits on Apr 3, 2023

Fix accuracy bugs around float/double conversions
lhecker
committed

Commits on Apr 4, 2023

Fix compilation
lhecker
committed