fix i64 zext