A fun type-level literal number arithmetic library - View it on GitHub