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?