Weight 10 not working #6

What steps will reproduce the problem?

bin/infer -i test.mln -e empty.db -r results.txt -q good


What is the expected output? What do you see instead?

expected (actually produced for weights 9.999999 and 10.000001)
  good(A) 4.9995e-05

instead
  good(A) 0.99995


What version of the product are you using? On what operating system?

Latest release (Jan 2013) on debian wheezy


Please provide any additional information below.

All other weights work just fine, but for some reason 10 doesn't work.