-*-iri-*- double formatter