+/-0 is obviously foldable. Other non-special, non-subnormal
values are also probably OK.
Also folds undef to 0, even though based on the users it
may make more sense to fold to 1 (e.g. fmul fast x, canonicalize(undef))
arsenm on Sep 18 2017, 2:18 PM.Authored by