divide a number by x decmial places

Question

Say I have a large number, 1234567. In PHP, is there a way that I could divide this number by x decimal places?

i.e:

divide(1234567, 3) // returns 1234