Conditionalize constant folding of math intrinsics on the availability of an implemen...