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

fun other () = return <xml>Hi!</xml>

fun main () = return <xml>{[Basis.url (main ())]}, {[url (other ())]}</xml>