float-format: Eliminate tests' dependence on exact string encoding.