Fixes Issue 9357 - Better diagnostic on float literals.
Fixes Issue 6833 - Float literals need fractional part in header
generation.
Merge pull request #1649 from AndrejMitrovic/Fix9357_Fix6833

Issue 9357 & Issue 6833 - Printing float literals should be done with a franctional part