The source is loaded without rounding error. The sign of the source is preserved, including the case where the value is negative zero.
The packed decimal digits are assumed to be in the range 0-9. The instruction does not check for invalid digits (A-FH), and the result of attempting to load an invalid encoding is undefined.
ST(7) must be empty to avoid causing an invalid-operation exception.