util, differentiator: visitor-latex: print floating-point approximations next to rational values.

This is done whenever a "grand result" is printed. Substitutions are
still done in pure rationals.
wip