Problem with negative real literals in models in Alt-Ergo 2.6.0

[manmatteo]

The models sometime contain negative real literals: e.g -42.0, which should be (- 42.0). For example

(set-logic ALL)
(set-option :produce-models true)
(declare-fun x () Real)
(assert (= x (- 42.0)))
(check-sat)
(get-model)

Gives

; File "simple.smt2", line 6, characters 1-12: I don't know (0.0035) (4 steps) (goal g_1)

unknown
(
  (define-fun x () Real -42.0)
)

At the same time, if I write -42.0 into the original file, Alt-Ergo correctly refuses that.