Skip to content

Fix double-rounding bug in double -> (b)float16 casts#8906

Merged
abadams merged 2 commits intomainfrom
abadams/double_float16_conversions
Jan 16, 2026
Merged

Fix double-rounding bug in double -> (b)float16 casts#8906
abadams merged 2 commits intomainfrom
abadams/double_float16_conversions

Commits

Commits on Dec 18, 2025