title: Division of a big number of 100 digits stored as string
body: <p>I have a 100 digit number stored as string. I want to divide this number with an integer less than 10. How do I efficiently divide a big integer stored as a string with an integer?</p>