user: Question: How many million of windows phones were shipped during the quarter that shipped 216.2 million total?
Columns: ['Quarter', 'Android', 'iOS', 'Symbian', 'BlackBerry OS', 'Linux', 'Windows Phone', 'Other', 'Total']
Types: ['text', 'text', 'text', 'text', 'text', 'text', 'text', 'text', 'text']
Sample row: ['2013 Q2', '187.4', '31.2', '0.5', '6.8', '1.8', '8.7', '0.0', '236.4']
SQL:

assistant: SELECT "Windows Phone" FROM "Table" WHERE "Total" = '216.2';