Update tlc-math.lua