z>0という記述があれば、当然zは実数ということも含意してるし、
実数は複素数に含まれるからなんら問題はないと思うが。