Half-precision floating-point numbers are provided by:
The Vector Floating-Point (VFP) Version 4 architecture.
An optional extension to the VFPv3 architecture.
If a VFP coprocessor is not available, or if a VFPv3 coprocessor
is used that does not have the extension, half-precision floating-point
numbers are supported through the floating-point library
Half-precision floating-point numbers can only be used when
selected with the --
The C++ name mangling for the half-precision data type is specified in the C++ generic Application Binary Interface (ABI).