It may be a nice feature that you can write something like this ``` nat x; rparam p; x := bernoulli(1-p) ``` and the **type check** automatically detects that the conversion from Nat to Real is okay and the result is a real.
It may be a nice feature that you can write something like this
and the type check automatically detects that the conversion from Nat to Real is okay and the result is a real.