format floats shown in gui and other small bugfixes