Een bug in logFloat64() gefixed