BUG: use consistent accurate string representation of floating point