Nikon files patents for 10-30mm and 7-13mm lens for mirrorless cameras

Nikon filed a patent application 20110116172 (Japan, US versions) for a 10-30mm f/3.3-5.6 and 7-13mm f/3.5-5.6 lenses:

Nikon 10-30mm f/3.3-5.6

Nikon 7-13mm f/3.5-5.6

Are those two lenses for Nikon’s mirrorless solution? Almost: the image height of both lenses is 7.96mm (sensor diagonal of 15.92mm) which suggests a crop factor of 2.8x. Previous patents and rumors indicated a crop factor of 2.5-2.6x based on a sensor with a diagonal of 17mm. Nikon is either obfuscating their patents or they have different mirrorless solutions in terms of sensor size (even though the difference is only about 1mm).

Patents details:

Nikon 10-30mm f/3.3-5.6

Nikon 7-13mm f/3.5-5.6