¿Cuál es el tamaño del tipo de dato primitivo 'double'?