A useful monkey-patch for adding the numbers 9 and 10.