Entity:
Real 36 31
null  * 


Operation:
maxValue
Real
double

 query static
true
result = 1.7976931348623157 * ( 10.0->pow(308) )


Operation:
minValue
Real
double

 query static
true
result = -Real.maxValue()


Operation:
subrange
Real
Sequence(double)
lower double step double upper double 
 query static
step > 0
interval = ( ( upper - lower ) / step )->floor() & result = Integer.subrange(0,interval)->collect( i | i * step + lower )






GeneralUseCase:
test 



false


Constraint:
null
true
Real.maxValue()->display() & Real.minValue()->display()
null test
false



Constraint:
null
true
Real.subrange(5.0,10.0,0.2)->display()
null test
false