glwidget: don't use doubles for no good reason