Of course, this only works well with non-ancient bash, not the ancient version which ships with MacOS, which will do {1.999} but can't do the leading zeros (you can use printf '%.3d' as a separate step).