Fix client-side [int] parsing and extend server-side [time] parsing to support a format that also works portably in JavaScript

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

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