Some double rounding for the GUI