Definition:

double