A quick way to scale objects?

using the gizmon you can scale by x times

if we take for example a circle of 10 mm of diameter and I want that to be 12.5mm. then I can just do 12.5/10 to get there

Now, is there a way to get the diameter without getting the measurement by hand first and then inputting there? like 12/diameter , to archive the same thing?

For circles or arcs, there is the ModifyRadius command - which also has an option to work with circumference values.


Been using Rhino since 2007 and I never knew this existed. Thank you.