Does PHP have integer division? I searched the PHP man and found no related info... If there is no built in operartor (I'll be suprised and) how would I go about doing it on my own?