Alternatively, while I might worry that it would obscure the example, rather than just return the repr of a float value we could print it instead--the default float formatting for print will usually round off things like that.