This is redundant because is_negative implies is_real.