Function narrow_rounded 

pub fn narrow_rounded(
    value: Hfp,
    target: Precision,
) -> Result<Hfp, ProgramCheck>

A floating-point value stored into a narrower COMP-1 or COMP-2: LOAD ROUNDED (p. 52).