Provide SQL to trim ABC plus leading 0s from a value (example: ABC0001234) in column_name, which is a char type. Then convert to integer.

SELECT CAST (SUBSTR(column_name, LENGTH(column_name) + 1) AS INTEGER) FROM table_name;

receiving error:

syntax error: Data Type "column_name" does not match a Defined Type name