x n x n this formula does not work if x is negative in languages where uses the sign of the dividend how can the c compilers use it do they use it only when they can prove that x is positive or only in earlier revisions than c