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