bug fixes
supporting floating points