make float16 serializable/deserializable

I assume this is the only line to be added...
write(s, float16) exists.