let print_float f = Pervasives.print_float f; flush stdout