Update src/number/HISTORY.md

Added entry for bugfix from okuryu.