* the Appendices of Book I
* Instructions of Book I as a new Section 4.6.2.1
* DX-Form of Book I Section 1.6.1.6 and 1.6.2
+* Floating-Point Data a Format of Book I Section 4.3.1
----------------
Formats: D, X, DX
```
+# bfloat16 definition
+
+Add the following to Book I, 4.3.1:
+
+The format may be a 16-bit bfloat16, 32-bit single format for a
+single-precision value...
+
+The bfloat16 format is used as an immediate.
+
+The structure of the bfloat16, single and double formats is shown below.
+
+```
+ |S |EXP| FRACTION|
+ |0 |1 8|9 15|
+```
+
+Figure #. Binary floating-point half-precision format (bfloat16)
+
# Appendices
Appendix E Power ISA sorted by opcode