I wonder if they negotiated up from some boring number of hundreds of millions of dollars to arrive at pi-hundred-million, or did they negotiate down to it? And

I wonder if they negotiated up from some boring number of hundreds of millions of dollars to arrive at pi-hundred-million, or did they negotiate down to it? And was anyone advocating for 420M?