Tag : Improved dynamic arithmetic optimization