HTMLPurifier_UnitConverter::div PHP Method

    private function div($s1, $s2, $scale)
    {
        if ($this->bcmath) {
            return bcdiv($s1, $s2, $scale);
        } else {
            return $this->scale((double) $s1 / (double) $s2, $scale);
        }
    }