{"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":25,"created_at":"2015-07-29T21:35:26Z","updated_at":"2015-07-30T12:38:03Z","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/126308862","html_url":"https://github.com/JuliaLang/julia/pull/12377#issuecomment-126308862","issue_url":"https://api.github.com/repos/JuliaLang/julia/issues/12377","id":126308862,"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-30T12:38:03Z","updated_at":"2015-07-30T12:38:03Z","body":"I'm not too compelled by making times in minutes line up nicely. Does anyone besides @ScottPJones care about lining long times up? The underscores I can maybe get on board with, but they don't seem terribly necessary to me. Anyone else have an opinion on that?"}}