Fixed a bug: getTimestamp() on a DateTime object returns an Integer object, not an element.