Hoe groot is het primitieve gegevenstype 'double'?