MOST-POSITIVE-BIGNUM
jwz was harder than you, when you were in elementary school.