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

abadams wants to merge 2 commits intomainhalide/Halide:mainfrom

abadams/double_float16_conversionshalide/Halide:abadams/double_float16_conversionsCopy head branch name to clipboard