Rename map_basic_int to map_basic_num