How many million of windows phones were shipped during the quarter that shipped 216.2 million total?
{'header': ['Quarter', 'Android', 'iOS', 'Symbian', 'BlackBerry OS', 'Linux', 'Windows Phone', 'Other', 'Total'], 'page_title': 'Mobile operating system', 'section_title': 'Market share', 'caption': 'IDC: World-Wide Smartphone Shipments (Millions of Units)', 'rows': [['2013 Q2', '187.4', '31.2', '0.5', '6.8', '1.8', '8.7', '0.0', '236.4'], ['2013 Q1', '162.1', '37.4', '1.2', '6.3', '2.1', '7.0', '0.1', '216.2'], ['2012 Q4', '159.8', '47.8', '2.7', '7.4', '3.8', '6.0', '0.3', '227.8'], ['2012 Q3', '136.0', '26.9', '4.1', '7.7', '2.8', '3.6', '0.0', '181.1'], ['2012 Q2', '104.8', '26.0', '6.8', '7.4', '3.5', '5.4', '0.1', '154.0'], ['2012 Q1', '89.9', '35.1', '10.4', '9.7', '3.5', '3.3', '0.4', '152.3'], ['2011 Q4', '83.4', '36.3', '18.3', '12.8', '3.8', '2.4', '0.8', '157.8'], ['2011 Q3', '67.7', '16.3', '17.3', '11.3', '3.9', '1.4', '0.1', '118.1'], ['2011 Q2', '50.8', '20.4', '18.3', '12.5', '3.3', '2.5', '0.6', '108.4']]}