MODULE minmaxreal ; CONST min = MIN (REAL) ; max = MAX (REAL) ; END minmaxreal.