Edit: halffloat.h