tree ce810a8572569df64a3c7de5158ffce48d4634dd
parent 5f83fb658206d195e54d3574b989ce5285a5b18f
author Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1574431667 -0300
committer Roberto Ierusalimschy <roberto@inf.puc-rio.br> 1574431667 -0300

More generic pattern when testing 'string.format'

The result of 'string.format("%a", 0.0)' can have multiple zeros
after the dot.