src/Pure/library.ML

 
 (** random numbers **)
 
 exception RANDOM;
 
-fun rmod x y = x - y * real (Real.floor (x / y));
+fun rmod x y = x - y * Real.realFloor (x / y);
 
 local
   val a = 16807.0;
   val m = 2147483647.0;
   val random_seed = ref 1.0;