Want to change a timestamp date to an integer YYYYMMDD I have this input "2017-07-21 15:31:04.853453" and I want it to return "20170721" as output.  How can I do it using cast or convert function?

My column input is the current time (CURRENT_TIMESTAMP).

From cast(CURRENT_TIMESTAMP as date) I have the output "2017-07-24", then I can do several concatenates with substrings. It should work but I wonder if there isn't any other way to get "integer YYYYMMDD".
As ypercubeᵀᴹ mentioned, this works in SQL Anywhere:

select CONVERT(char(8),current_timestamp,112) from dummy