fix i64 signed icmp