diff options
| author | David Lechner <david@pybricks.com> | 2022-12-18 18:26:32 -0600 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-02-05 14:04:15 +1100 |
| commit | 23342eff906a99fc0a006916d350c86426fd9204 (patch) | |
| tree | 1a9c76bc851ff6f9b22a9923d2d3e054720963e5 /docs/reference/repl.rst | |
| parent | ac8e7f7b67ea13e7e9f816d3cfd4ddae4782db8d (diff) | |
| download | micropython-23342eff906a99fc0a006916d350c86426fd9204.tar.gz micropython-23342eff906a99fc0a006916d350c86426fd9204.zip | |
windows/Makefile: Fix float exact int formatting on 32-bit mingw.
When compiler optimizations are enabled on the mingw version of gcc, we are
getting failing tests because of rounding issues, for example:
print(float("1e24"))
would print
9.999999999999999e+23
instead of
1e+24
It turns out special compiler options are needed to get GCC to use the SSE
instruction set instead of the 387 coprocessor (which uses 80-bit precision
internall).
Signed-off-by: David Lechner <david@pybricks.com>
Diffstat (limited to 'docs/reference/repl.rst')
0 files changed, 0 insertions, 0 deletions