Fix parsing of Postgres timestamps with super-microsecond fractional seconds, based on patch from Vladimir Shabanov

function print() {
  alert("Hi there!");
}

function bar(s) {
  alert("<<" + s + ">>");
}