beremiz

Fixed bug with decimal value string formatting

2013-11-13, Laurent Bessard
dc94c71a2f25
Fixed bug with decimal value string formatting
from pyjs import *