Type checking numeric for