Fast vectorizable algorithms of binary searching for floating point numbers