Hi,

The attached patch adds the half precision floating-point format as described 
in IEEE 754-2008 as binary16. Languages such as OpenCL and architectures like 
ARM support this representation.
Any suggestions are welcome.

Regards
-ken