more arithmetics procedures; some little reorganizing