two target language numeral types: integer and natural, as replacement for code_numeral;
former theory HOL/Library/Code_Numeral_Types replaces HOL/Code_Numeral;
refined stack of theories implementing int and/or nat by target language numerals;
reduced number of target language numeral types to exactly one
theory Real
imports RComplete RealVector
begin
ML_file "Tools/SMT/smt_real.ML"
setup SMT_Real.setup
end