Alternate Definitions for double

include archived terms