Mekkora az alapvető adattípus 'double' mérete?