Models can return too little time advance double therefore the sum `time
+ ta == time` with `time > 0.` can occured. Using std::nextafter fix the
problem.