In the discussion, what is the allocated size for a double data type