[aninteger]

And some of us love to live in the 1970s with cheap non-HiDPI monitors (or maybe it's just me).