Changed stageWidth and stageHeight back to ints

The previous commit only changed the internal type, the getter of
stageWidth and stageHeight accidently kept the int-type. Anyway, we keep
the interger for now.