Number theory stubs