fix bug where float numbers are not recognized