Cookbook: rounding. Closes #49.