Handle common half-precision constants specially
More work on floating point encoding, simple value encoding
Basic UTF-8 string encoding