How much maths can we do in NF(U)?

Most of the answers given above to this question were correct and to the point. One was not: NFU without infinity, or even with the negation of Infinity, does quite easily interpret Robinson arithmetic. The domain of strongly Cantorian natural numbers is a model of Robinson arithmetic (in fact, I believe, of bounded arithmetic with exponentiation).