Display's get_width()/get_height() should return i32's