@Pratyush, No that is incorrect because implication is also true when the antecedent is false.
Some numbers might not be real, and since here no domain is specified we consider domain of all numbers be it an integer or real etc.
So, when some number is not real, say it is integer, your first part of implication becomes false and hence the whole implication becomes true which should not happen.