Add some more float16 related stuff to the docs.