let arithmetic_function = import_function ~topify_arith_origin