MODULE minmaxreal2 ;  

VAR
   min, max: REAL ;
BEGIN
   min := MIN (REAL) ;
   max := MAX (REAL)
END minmaxreal2.