2021-07-01 00:07 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>: > Aren't the bounds enforced by the call to char.base_digit_to_int/3? Yep, they are, my bad. Zoltan.