Avoid informal use of "FP16"

src/profiles.adoc

@@ -767,10 +767,10 @@ is expected to exploit that information.
 
 - *Zfhmin* Half-Precision Floating-point transfer and convert.
 
-NOTE: Zfhmin is a small extension that adds support to load/store and
-convert IEEE FP16 numbers to and from IEEE FP32 format.  The hardware
-cost for this extension is low, and mandating the extension avoids
-adding an option to the profile.
+NOTE: Zfhmin is a small extension that adds support to load/store and convert
+IEEE 754 half-precision numbers to and from the IEEE 754 single-precision
+format.  The hardware cost for this extension is low, and mandating the
+extension avoids adding an option to the profile.
 
 - *Zkt* Data-independent execution time.
 

src/rvb23-profile.adoc

@@ -185,17 +185,17 @@ options in RVB23U64:
 
 NOTE: Unclear if other Zve* extensions should also be supported in RVB.
 
-- *Zvfhmin* Vector FP16 conversion instructions.
+- *Zvfhmin* Vector half-precision floating-point conversion instructions.
 - *Zvbb* Vector bitmanip extension.
 - *Zvkt* Vector data-independent execution time.
 - *Supm* Pointer masking, with the execution environment providing a means to
    select PMLEN=0 and PMLEN=7 at minimum.
 
 The following extensions are expansion options in both RVA23U64 and RVB23U64:
 
-- *Zfh* Scalar Half-Precision Floating-Point (FP16).
+- *Zfh* Scalar Half-Precision Floating-Point.
 - *Zbc* Scalar carryless multiply.
-- *Zvfh* Vector half-precision floating-point (FP16).
+- *Zvfh* Vector half-precision floating-point.
 - *Zfbfmin* Scalar BF16 FP conversions.
 - *Zvfbfmin* Vector BF16 FP conversions.
 - *Zvfbfwma* Vector BF16 widening mul-add.

src/rvm23-profile.adoc

@@ -205,8 +205,8 @@ microcontrollers.
 - *Zve64x*
 - *Zve64f*
 - *Zve64d*
-- *Zvfhmin* Vector FP16 conversion instructions.
-- *Zvfh* Vector FP16 instructions.
+- *Zvfhmin* Vector half-precision floating-point conversion instructions
+- *Zvfh* Vector half-precision floating-point instructions.
 
 - *Zkn* Scalar Crypto NIST Algorithms.
 - *Zks* Scalar Crypto ShangMi Algorithms.