Greasemonkey doesn't like more than one decimal in @version