Fix: a minor bug in constant folding for builtin math functions.