Fixed required copyright notices on float16.*
Improved the documentation ever so slightly. Really, it could still stand to be improved quite a lot.