Review include of `half.hpp`.

[1uc]

Check if it's <half.hpp> or <half/half.hpp>. On Archlinux it's installed at /usr/include/half/half.hpp (suggesting the latter).