support for decimal elements in PlainTimestamp

see issue #170