real toReal(bool b)
import Boolean;
true
1,0
false
0.0
rascal>import Boolean; ok rascal>toReal(true); real: 1.0 rascal>toReal(false); real: 0.0