[boost] My formal review of int128