Teradata: приведение varchar к десятичной дроби

Question

Мне нужно преобразовать значение varchar, например 13,5, в число. Любой код, который я пробую, возвращает это: 135,00

Как правильно сделать?

Попробовал следующее:

cast('13,5' as float)
cast('13,5' as decimal(18,2))
cast(oreplace('13,5',',','.') as float)
cast(oreplace('13,5',',','.') as decimal(18,2))
cast('13,5' as number)
cast(oreplace('13,5',',','.') as number)