Fix: lexicographical int comparison