Half-precision floating-point numbers are provided as an optional
extension to the Vector Floating-Point (VFP)v3
architecture. If the VFPv3 coprocessor is not available, or if a
VFPv3 coprocessor is used that does not have this extension, they
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).