Merge "Add a half-precision floating point type"