More generic pattern when testing 'string.format'

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