double type: as the declaration of the type