(load "@lib/math.l") : (exp 1000.0) -> T