added hextoint to its own file because it's a very useful engine.