fn sql_literal(ty: &Type, text: Option<&str>) -> String
把单元格的文本表示转成 SQL 字面量：NULL 原样；布尔写 TRUE/FALSE；有限数值不加引号； 其余（含 NaN/Infinity）单引号转义，插入时由目标列类型解析。