functions in std.i - f

             fflush, file  
 
     flush the I/O buffers for the text file FILE.  (Binary files are  
     flushed at the proper times automatically.)  You should only need  
     this after a write, especially to a pipe.  
builtin function, documented at i0/std.i   line 1335  

             floor(x)  
 
     returns the largest integer not greater than x (no-op on integers).  
builtin function, documented at i0/std.i   line 668