fixed a bug in floating numbers