Add .get_size().