lsbdistrelease returns `10` instead of `10.0`
This is fixed by the fix for https://tickets.puppetlabs.com/browse/FACT-2754.