Summary

Add Float16 to jdk.incubator.vector.

Problem

IEEE 754 defines a 16-bit "float16" binary floating-point format. This smaller format is useful in various ML and AI settings and has some degree of hardware support in various processor lines.

Solution

Includes a Float16 class as part of the incubating Vector API to facilitate greater usage of this type.

The design of this type is analogous to java.lang.{Float, Double} with the addition of methods for various arithmetic operators.

Specification

See attached pdf.