Half float

Redirect to:

• Half-precision floating-point format