Function nextafter

pub fn nextafter(x: impl IntoExpr, y: impl IntoExpr) -> Result<Expr>

The next representable value after x towards y (C++ nextafter, prim.nextafter).