Explicitly cast values to the expected types

Author: haszi

phpdotnet/phd/Package/Generic/XHTML.php

@@ -757,7 +757,7 @@ public function format_literal($open, $name, $attrs)
     public function format_literal_text($value, $tag) {
         switch ($this->getRole()) {
             case 'infdec':
-                $value = (float)$value;
+                $value = (string) (float)$value;
                 $p = strpos($value, '.');
                 $str = substr($value, 0, $p + 1);
                 $str .= '<span style="text-decoration: overline;">';

phpdotnet/phd/Package/PHP/EnhancedCHM.php

@@ -137,6 +137,7 @@ public function footer($id) {
                 if ($noteUser) {
                     $noteUser = '<strong class="user">' . htmlspecialchars($noteUser) . '</strong>';
                 }
+                $noteTimestamp = $noteTimestamp === "" ? null : (int) $noteTimestamp;
                 $noteDate = '<a href="#' . $noteId . '" class="date">' . date("d-M-Y h:i", $noteTimestamp) . '</a>';
                 $anchor   = '<a name="' . $noteId . '""></a>';