Wrong pixel area

The pixel area seems to be rounded in a specific direction, not outwards.
So for example the 12×18 EU member flags have the area 11×17 = 187.