make screen sizes more explicitly numeric