Semicompiled

Cast from double

source.c

eBPF doesn't natively support float conversion.