Remove includes of deleted half_float.hpp

The header half_float.hpp has been removed in 25a5c21a24196d23fb84c823f19f257f1117f0b1  .