[py] Support round on int

This commit is contained in:
Joachim Le Fournis
2020-11-17 19:10:43 +01:00
committed by LeaNumworks
parent 99e63ec30b
commit bd5cdb0f65

View File

@@ -105,6 +105,9 @@
// Whether to include: randrange, randint, choice, random, uniform
#define MICROPY_PY_URANDOM_EXTRA_FUNCS (1)
// Whether to support rounding of integers (incl bignum); eg round(123,-1)=120
#define MICROPY_PY_BUILTINS_ROUND_INT (1)
// Function to seed URANDOM with on init
#define MICROPY_PY_URANDOM_SEED_INIT_FUNC micropython_port_random()