GIF size export

When exporting a GIF with the debug gif mode, is there any way to make the dimensions of the GIF bigger? They now all export as 640x480 pixels and I would like to make it bigger.