In this example and more, if you don't round 'K'
The symbolic expansion will fetch the floating point.
Some of the expansion may be so large that they won't evaluate.
Here we demonstrate how to isolate the rounded 'K' for the
profitable symbolic expansion suite J_Frac.
Cheers ... Jean

Maths eval(,) round(K,n).sm (34 KiB) downloaded 95 time(s).