Madlib: All number checks converted to def use