HOL.Numeral_Simprocs