diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-05-21 12:27:38 +1000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-05-21 12:27:38 +1000 |
| commit | 5efc575067df17be785d2b60124706d789d6cfe0 (patch) | |
| tree | ce401726be92575a4382387ab2e9e1c223ca5f6d /docs/differences | |
| parent | bc6c0b28bf830a75c817fb498b713779c92b731b (diff) | |
py/parsenum: Use int instead of mp_int_t for parsing float exponent.
There is no need to use the mp_int_t type which may be 64-bits wide, there
is enough bit-width in a normal int to parse reasonable exponents. Using
int helps to reduce code size for 64-bit ports, especially nan-boxing
builds. (Similarly for the "dig" variable which is now an unsigned int.)
Diffstat (limited to 'docs/differences')
0 files changed, 0 insertions, 0 deletions
