integer/real promotion stuff