bugfix for float not double