diff -r bd595ad770fc -r 1c2f13fd785c web/enmi/Zend/Pdf/Element/Numeric.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/enmi/Zend/Pdf/Element/Numeric.php Thu Jan 20 19:30:54 2011 +0100 @@ -0,0 +1,95 @@ +value = $val; + } + + + /** + * Return type of the element. + * + * @return integer + */ + public function getType() + { + return Zend_Pdf_Element::TYPE_NUMERIC; + } + + + /** + * Return object as string + * + * @param Zend_Pdf_Factory $factory + * @return string + */ + public function toString($factory = null) + { + if (is_integer($this->value)) { + return (string)$this->value; + } + + /** + * PDF doesn't support exponental format. + * Fixed point format must be used instead + */ + $prec = 0; $v = $this->value; + while (abs( floor($v) - $v ) > 1e-10) { + $prec++; $v *= 10; + } + return sprintf("%.{$prec}F", $this->value); + } +}