I have doubles such as:
I want to output them as:
I found the following solution:
This was with the help of:
I'd like to replace this shameless solution by something more clean. Chopping off those decimals using a
.replace() method is really not pretty.