HOL-ex.Transfer_Int_Nat