Javadoc
Stronger bounds on arithmetic
Stronger bounds on arithmetic