src/HOL/Hyperreal/NSA.thy

               | Const("Numeral.number_of", _) $ _ =>
                                  meta_number_of_approx_reorient);
 
 in
 val approx_reorient_simproc =
-  Bin_Simprocs.prep_simproc
+  Int_Numeral_Base_Simprocs.prep_simproc
     ("reorient_simproc", ["0@=x", "1@=x", "number_of w @= x"], reorient_proc);
 end;
 
 Addsimprocs [approx_reorient_simproc];
 *}