The number of Google Pixel phones sent out into the world during 2017 totaled less than four million, according to recent data; but this was double the amount it shipped the year before.