{"action":"created","issue":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/12377","labels_url":"https://api.github.com/repos/JuliaLang/julia/issues/12377/labels{/name}","comments_url":"https://api.github.com/repos/JuliaLang/julia/issues/12377/comments","events_url":"https://api.github.com/repos/JuliaLang/julia/issues/12377/events","html_url":"https://github.com/JuliaLang/julia/pull/12377","id":98034099,"number":12377,"title":"time in seconds: print times as 1.234 if ≥ 1 or 1.234/10^p if < 1.","user":{"login":"StefanKarpinski","id":153596,"avatar_url":"https://avatars.githubusercontent.com/u/153596?v=3","gravatar_id":"","url":"https://api.github.com/users/StefanKarpinski","html_url":"https://github.com/StefanKarpinski","followers_url":"https://api.github.com/users/StefanKarpinski/followers","following_url":"https://api.github.com/users/StefanKarpinski/following{/other_user}","gists_url":"https://api.github.com/users/StefanKarpinski/gists{/gist_id}","starred_url":"https://api.github.com/users/StefanKarpinski/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/StefanKarpinski/subscriptions","organizations_url":"https://api.github.com/users/StefanKarpinski/orgs","repos_url":"https://api.github.com/users/StefanKarpinski/repos","events_url":"https://api.github.com/users/StefanKarpinski/events{/privacy}","received_events_url":"https://api.github.com/users/StefanKarpinski/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":47,"created_at":"2015-07-29T21:35:26Z","updated_at":"2015-07-30T13:41:19Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/JuliaLang/julia/pulls/12377","html_url":"https://github.com/JuliaLang/julia/pull/12377","diff_url":"https://github.com/JuliaLang/julia/pull/12377.diff","patch_url":"https://github.com/JuliaLang/julia/pull/12377.patch"},"body":"Printing times with different units is often confusing since one doesn't notice the units. When timing something, you generally want to compare across different measurements. Having them in common units (seconds) makes this easier."},"comment":{"url":"https://api.github.com/repos/JuliaLang/julia/issues/comments/126328197","html_url":"https://github.com/JuliaLang/julia/pull/12377#issuecomment-126328197","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/12377","id":126328197,"user":{"login":"StefanKarpinski","id":153596,"avatar_url":"https://avatars.githubusercontent.com/u/153596?v=3","gravatar_id":"","url":"https://api.github.com/users/StefanKarpinski","html_url":"https://github.com/StefanKarpinski","followers_url":"https://api.github.com/users/StefanKarpinski/followers","following_url":"https://api.github.com/users/StefanKarpinski/following{/other_user}","gists_url":"https://api.github.com/users/StefanKarpinski/gists{/gist_id}","starred_url":"https://api.github.com/users/StefanKarpinski/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/StefanKarpinski/subscriptions","organizations_url":"https://api.github.com/users/StefanKarpinski/orgs","repos_url":"https://api.github.com/users/StefanKarpinski/repos","events_url":"https://api.github.com/users/StefanKarpinski/events{/privacy}","received_events_url":"https://api.github.com/users/StefanKarpinski/received_events","type":"User","site_admin":false},"created_at":"2015-07-30T13:41:19Z","updated_at":"2015-07-30T13:41:19Z","body":"`\"%10.6f seconds\"` would be ok with me. Let's wait and see what others have to say."}}