% Encoding: ASCII

@number{42,
  name={42},
  category={number},
  description={forty-two}
}

@number{10,
  name={10},
  category={number},
  description={ten}
}

@number{16,
  name={16},
  category={number},
  description={sixteen}
}

@number{2,
  name={2},
  category={number},
  description={two}
}

@number{100,
  name={100},
  category={number},
  description={one hundred}
}

