include upgrade instead of downgrade in muls
fix includes in oneminus and is_positive
fix multiplies include in fma
fix a couple of complex tests