anchor.diff:  		   end
   	 }.
   
  +%% @doc Returns the domain of integers in the range M =&lt; X =&lt; N
  +%% @spec choose(M,N) -> domain()
   choose(M,N) when is_integer(M), is_integer(N), M<N ->
       #?DOM{kind={choose,M,N},
   	  generate=fun(_,_) ->
  
positive.code: 	 simplify=fun(_Dom,Val) -> Val end}.
  
  
  any()  ->
      #?DOM{kind=any,
  	  generate=fun(#?DOM{kind=any}=Dom,GS) ->
  
negative.code: 	}.
  
  %% @doc The domain of (64 bit) floats.
  %% @spec real() -> domain()
  real() -> 
      #?DOM{kind=real,
  	 generate  = fun(_,GS) -> (random:uniform()*GS) - (GS / 2) end
  