put everything into arithmetic namespace