De-inlined number(). I didn't compile before removing the code and didn't realize that it was called elsewhere.