https://geekdad.com/2016/12/dragonbox-big-numbers/