(The module itself has "(use numbers)")