The tab separator position is calculated three different places: when drawing tabs, when drawing the tabstrip, and when doing hittesting.  Two use floating-point math and one uses integer; two use tabstrip bounds and one uses aligned tab bounds.  All this stuff should be unified into one place.