The same procedure as half_to_float_fast4.
half_to_float_fast4
float16_to_float32 :: (h: Float16) -> float32