make float16 serializable
Merge pull request #5916 from amitmurthy/amitm/f16

make float16 serializable/deserializable