valid floating-point number

History

Time	Change
2016-08-11 09:23:17+00:00	Created
2016-08-11 09:23:17+00:00	Associated with 14810