1. KRR Avatar KRR
  2. software
  3. IDP
  4. Issues

Printing of doubles: precision

Issue #321 resolved
Pieter Van Hertum created an issue

When printing doubles, c has a standard precision of 6 digits. Printing a domainelement 5.000001, will generate 5.

Comments (1)

  2. Log in to comment
Assignee
–
Type
bug
Priority
major
Status
resolved
Component
–
Version
–
Votes
0
Watchers
1
Jira: the preferred issue tracker for Bitbucket. Join the team!