Overconvergent modular symbols over number fields