ivory: add IvoryZeroVal instance for Ix n