Function tvm::prim::nextafter