Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Include more decimal places #581

Merged
merged 2 commits into from
Aug 2, 2017
Merged

Include more decimal places #581

merged 2 commits into from
Aug 2, 2017

Conversation

adimako
Copy link
Contributor

@adimako adimako commented Aug 2, 2017

In response to issue #580

@adimako
Copy link
Contributor Author

adimako commented Aug 2, 2017

@cekees @alistairbntl either of you will do

Copy link
Member

@cekees cekees left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Make sure you're actually getting full double precision ~15 significant digits. Think you need at least .15e but check me. Otherwise looks good. Thanks for catching this.

Copy link
Member

@cekees cekees left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@adimako adimako merged commit 57bd92c into master Aug 2, 2017
@adimako adimako deleted the adimako-patch-time-output branch August 2, 2017 17:07
zhang-alvin pushed a commit that referenced this pull request Oct 21, 2017
zhang-alvin pushed a commit that referenced this pull request Oct 21, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants