Some helpful extensions to the boost library