Good question, I don’t know. I generally only put the 4.7 (major version) part to my plugins and WP automatically adds the minor version. My guess is that E added the .0 without thinking about it, but I can’t say for sure. I’ve asked the developer, will post back when I hear something.
