Template:cpp/numeric/random/subtract with carry engine/navbar