switch from Dimension kind to Nat