Divide numbers

[lukaszahorec]

Would it be possible to add divide function to number selection, like the increment function.

For example I'm adding retina images to html/php. Phpstorm suggest me real size of image, then I would like to select the size and with this plugin divide it by 2...