@INT with comma as decimal character