BigFloat converted to string returns different number?
|
8
|
558
|
August 28, 2022
|
Promotion to BigFloat -- no zero padding
|
8
|
730
|
August 9, 2021
|
Printing exact decimal representations
|
2
|
476
|
August 30, 2023
|
Rounding BigFloat to 3 significant digits
|
9
|
1476
|
December 6, 2022
|
Converting Float32 values back to Float64 without introducing nonzero digits at the end?
|
2
|
572
|
May 3, 2024
|