Work with float numbers

[Verhaeg]

hi, this plugin si very helpful, but I miss the possibility to work with float numbers..
it would be nice to be able to double 3.5 to 7 (or 7.0).

Thanks

[prongs]

Good idea. If you want to take a stab at it you are most welcome. Otherwise
it might take time.

Thanks

Sent from android
On Jul 24, 2013 11:16 PM, "Ricardo F. Verhaeg" [email protected]
wrote:

hi, this plugin si very helpful, but I miss the possibility to work with
float numbers..
it would be nice to be able to double 3.5 to 7 (or 7.0).

Thanks

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/4
.

[Verhaeg]

I'll take a look later on this, I'm not that good with python, but if I manage to do something I'll send a pull request ;)