Converting to a bigint is way overkill, but I'mna blame XMLDB for that. Conflicts: htdocs/lib/version.php