#include #include int main() { double x = 12.345; std::cout << std::nextafter(x, x+1) << '\n'; }