Interface NumericTypeChecker