Prefixes starting with <Double >

<Double C> . <Double D> . <Double S> . <Double d> . <Double > (other) .