const fn update_fg<const LIMBS: usize>( a: &SignedInt<LIMBS>, b: &SignedInt<LIMBS>, t: [[i64; 2]; 2], shift: u32, ) -> (SignedInt<LIMBS>, SignedInt<LIMBS>)