Converting an integer to a float between 0 and 1 with bithacks (for PRNG)

rand_float.cpp

// Source: "xoshiro / xoroshiro generators and the PRNG shootout" 
// https://prng.di.unimi.it/

#include <stdint.h>

static inline double u64ToDoubleBetween01(uint64_t x) {
    return (x >> 11) * 0x1.0p-53;
}

// I came up with the following function for 32-bit floats based on the above, let me know if it's wrong
static inline float u32ToFloatBetween01(uint32_t x) {
    return (x >> 8) * 0x1.0p-24f;
}