bugfixes for floating point numbers