A small library for formatting ISBN-13