github/openhab issue #1013: values like "10.0" did not work with integer formats like "%d"

Signed-off-by: Martin <martin+github@planet-renner.net>