Is there any reason why :
SELECT char_length(to_char(1, '000'));
Gives a result
char_length------------- 4(1 row)
It seems that to_char(1, '000') gives a string " 001" with a space in front. Is this a bug?
Regards,
Ben