Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Avoid loss of precision when converting to double.
For some reason I cannot really explain, multiplying a float-value with an integer-value and then converting the result to double causes rounding. The loss of precision results in the small difference in sim_time when loading eagerly vs loading lazily
- Loading branch information