ausdoppeln,
V.
›etw. durch Würfeln auslosen‹;
zu
doppeln
.

Belegblock:

Rwb
1, 1008
(a.
1375
).