pub fn f64_from_f32<E>(into: &mut E, dst: impl Into<FReg>, src: impl Into<FReg>)where E: Extend<u8>,
encode
(st) = promote(low32(src))