mirror of
https://github.com/micropython/micropython.git
synced 2026-01-08 13:10:21 +01:00
All callers of mp_obj_int_formatted() are expected to pass in a valid int object, and they do: - mp_obj_int_print() should always pass through an int object because it is the print special method for int instances. - mp_print_mp_int() checks that the argument is an int, and if not converts it to a small int. This patch saves around 20-50 bytes of code space.
16 KiB
16 KiB