結果 : sql cast integer to string with leading zeros