Doppel

DEFINITION

Double.double