fix i64 icmp