Yep. That's actually one of the main points of infinitesimal theories -- all the standard theorems have infinitesimal analogues and vice versa. Rounding to the

Yep. That's actually one of the main points of infinitesimal theories -- all the standard theorems have infinitesimal analogues and vice versa. Rounding to the closest real number in an infinitesimal theory is the same as taking a limit in real theory. It is definitely nice to have multiple routes to the same answer though to help verify that some stupid mistake didn't infect the results.