model completion not working for "indeterminate values"

[quickbeam123]

  auto name = c.bool_const("v");
  auto zero = c.real_val(0,1);
  auto one = c.real_val(1,1);
  
  auto expr = (name == (zero == (one / zero)));
  
  s.add(expr);
  cout << s.check() << endl;
  
  model m = s.get_model();
  
  cout << m.eval(name,true) << endl;

prints

sat
(= 0.0 (/ 1.0 0.0))

despite eval called with model_completion=true. What I am expecting would be either true or false, since name is declared as a boolean constant.

Is there a way to force eval deciding what (one / zero) should be?

[NikolajBjorner]

it is fixed