Как получить двоичное представление числа с плавающей запятой в PHP?

Есть ли способ получить двоичное представление числа с плавающей запятой в PHP? Что-то вроде Java Double.doubleToRawLongBits () .

Учитывая положительное число с плавающей запятой, я хотел бы получить наибольшее представимое число с плавающей запятой, которое меньше этого числа. В Java я могу сделать это так:

double x = Double.longBitsToDouble(Double.doubleToRawLongBits(d) - 1);

Но я не вижу ничего подобного в PHP.