"What is "double"?"