Only add the trailing '.0' if the number is known to be integer. Otherwise accept the string as provided by JavaScript

^target/.*

.*/target/.*

.*orig$

.*~