Changing class name from Number to Int in namespace stk