Prefixes starting with <Posit>