一个在UDF定义的真正变量是如何在双精度求解器中处理的？