+[[!tag standards]]
+
# SV FP Conversion
OpenPOWER Scalar ISA requires that FP32 numbers be distributed throughout the bits of the underlying FP64 register such that at any time an FP64 opcode nay be used, without performing any kind of conversion, directly on that FP32 value. Likewise if precision is not important an FP32 opcode may be called on an FP64 value without conversion needed.
# Higher to lower fmv
-Here is the possibility of overflow of the result, as well as rounding.
+Here is the possibility of overflow of the result, as well as rounding. Effectively, this becomes what `frsp` currently does, whilst `frsp` itself has its meaning change from "convert source to single precision" to to "convert source to half of src precision followed by conversion to dest precision" where those two precisions may *or may not* be the same.
+