Prefixes starting with <doubl>
<double>
.
<doubl> (other)
.