The text be840c9b500c, as Debian 12 (Bookworm) shipped it.
ratio_greater
std::ratio_greater(3cxx) on Linux now
