Fixed an issue with integer properties in PropertyEditorWidget.

We were allowed to enter something like 1e3, yet QString::toInt()
wouldn't recognise it...