Thanks Omar for this wonderful series, I'm learning a lot. I just have a point about the numbers: the notation you use is correct but makes little sense. Why do you use 1_0000 instead of 10_000?

In my case I had to change the code where decrementing variable in: del = del.checked_sub(2_5000_u32).unwrap_or(10_0000_u32); to avoid panic.