JuliaLang/julia — pull request #5916 by amitmurthy (2014-02-23 16:42:53+00:00)
Title: make float16 serializable/deserializable

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