1.70. The double data type