The same procedure as float_to_half_fast3.
float_to_half_fast3
float32_to_float16 :: (_f: float32) -> Float16