tools: fix DECIMAL census columns in new SQL