a (precise) type for tabular formats