Fixed conversion of string to decimal
of_float takes only integers for now, do arbitrary floats later
Try with interpreting 0/0 as 0
Fixing parsing of rationals: accept 1.0 as integer
Fail on 0/0 again
Merge pull request #44 from chsticksel/kind2-server

Fixed conversion of string to decimal