Stronger bounds on arithmetic
Changed name