How to round a number to the third decimal place?

That’s really nice. But you don’t need to loop a multiplication. That’s what the power operator is for.

These lines:

Can become:

*set {varname} * (10 ^ digits) 
5 Likes