How much is nine divided by 1?