public function setMax($max) { $max = parent::fractionToDecimal($max); parent::verifyTypes($max, array("integer", "double")); if ($this->isSpan()) { parent::verifyRange($max, $this->getMin(), parent::INFINITY); } $this->_max_DBL = $max; }