Make sure the i64 Dest is split before accessing its parts.