✏️ Editing: halffloat.h