Sorry if I don't give a direct answer to your question. But looking at the datasheet, with an input P1dB = 10 to 14dBm (the input level at which output is 1dB lower than calculated, due to compression), and with a conversion loss = 7dB + 1dB due to compression, you can't have as high as 7dBm at IF.
Second, I am not well acquainted with noise floor calculations, but I have never seen that a LO noise floor is taken into account. The LO just turns the mixer switches on and off, its noise is not added to the signal as in a linear circuit. What is very taken into account is the phase noise with regards to signals that should fall outside the IF bandpass, but it is a different ball game.
Also remember that in a simple superhet process (not the image rejection one), the noise figure of the receiver is not just the NF of the IF strip plus the mixer loss, there is an additional 3dB because the noise at the image frequency gets also converted to the IF.
Again, I am not giving the answer you requested, but I do hope this can be useful to you.