float2bin.php

float2bin.php

<?php
declare(strict_types=1);

function float2bin(float $float) {
    return join('', array_map(function($char) {
        return str_pad(decbin(ord($char)), 8, '0', STR_PAD_LEFT);
    }, str_split(strrev(pack('d', $float)))));
}

var_dump(float2bin((float)1));
// string(64) "0011111111110000000000000000000000000000000000000000000000000000"
var_dump(float2bin((float)-2));
// string(64) "1100000000000000000000000000000000000000000000000000000000000000"
var_dump(float2bin((float)2));
// string(64) "0100000000000000000000000000000000000000000000000000000000000000"
var_dump(float2bin((float)4));
// string(64) "0100000000010000000000000000000000000000000000000000000000000000"

var_dump(float2bin((float) PHP_INT_MAX));
// string(64) "0100001111100000000000000000000000000000000000000000000000000000"
var_dump(float2bin(PHP_INT_MAX + 1024));
// string(64) "0100001111100000000000000000000000000000000000000000000000000000"
var_dump(float2bin(PHP_INT_MAX + 1025));
// string(64) "0100001111100000000000000000000000000000000000000000000000000001"