Promotion of negative real shouldn't happen until evaluation (since we don't know if the result is actually negative or not when it is a formula).