I need to round a float to be displayed in a UI. e.g, to one significant figure:
1234 -> 1000 0.12 -> 0.1 0.012 -> 0.01 0.062 -> 0.06 6253 -> 6000 1999 -> 2000
Is there a nice way to do this using the Python library, or do I have to write it myself?