clarify serialization rules
change "positive integer" to "unsigned integer"; disallow negative denominators

From Carsten Bormann's review
re-add index which was accidentally deleted earlier