Edit File: halffloat.h