LOCAL: Use integer ordering.