kraih/mojo 11f35217f9 "small optimizations": hex digits now lc.