Prefixes starting with <Double>

<Double > . <DoubleC> . <DoubleT> . <Doubled> . <Doublet> . <Double> (other) .