CLIPS & amp; clipsmm: слот поплавкового типа

У меня проблема со слотом типа float. В моем файле базы знаний есть шаблон:

(deftemplate test
(slot slot1 (type INTEGER) (default 10))
(slot slot2 (type FLOAT) (default 4.0))
)

Я использую clipsmm для интеграции CLIPS с Qt-приложением. Я утверждаю факт так:

CLIPS::Fact::pointer fact;
QString fact_str = "(test (slot1 15) (slot2 4.3))";
fact = env.assert_fact(Std(fact_str)); //Std() translates QString into std::string

Этот факт добавлен в повестку дня, но slot2 имеет значение = 4.0 вместо 4.3:

<== Activation 0 start:
<== f-0 (initial-fact)
:== ?answer ==> 0 <== 0 //this is global
==> Activation 0 start:
==> f-0 (initial-fact)
Start!
==> f-1 (test (slot1 15) (slot2 4.0))

Если я использую «Экспертную систему XCLIPS», все хорошо, а slot2 имеет значение = 4.3. Что я делаю не так?

UPD. Я изменил environment.cpp таким образом:

Fact::pointer Environment::assert_fact( const std::string& factstring )
{
void* clips_fact = EnvAssertString( m_cobj, const_cast<char*>(factstring.c_str()) );

std::cout << "factstring =" << factstring << std::endl;     //std::cout is added
if ( clips_fact )
return Fact::create( *this, clips_fact );
else
return Fact::pointer();
}

и отображается правильно:
«factstring = (test (slot1 15) (slot2 4.3))»

UPD2. Я попытался добавить факт таким образом:

CLIPS::Template::pointer temp;
temp = env.get_template(Std("test"));
CLIPS::Fact::pointer f1;
f1 = CLIPS::Fact::create(env, temp);
CLIPS::Value v1 = CLIPS::Value(15);
CLIPS::Value v2 = CLIPS::Value(4.3);
f1->set_slot(Std("slot1"), v1);
f1->set_slot(Std("slot2"), v2);
env.assert_fact(f1);

и получил такой результат:

==> f-2     (test (slot1 15) (slot2 4,3.0))