Fix bug

5.0 gets converted to 5 if used as a number