I wasn't sure if is_number did anything else too. There is one important difference, which is that is_number only works on Expr, but that is fine for here.