cuda_double_allocate needs size information