document Float.equals()