How to convert float to a hex string

Learning
1

Example:

input: 2.33
output: 0x4002 a3d7 0a3d 70a4

it seems that fprintf doesn’t have the kind of format.

2

You can use Int64.bits_of_float to get a 64-bit representation which you then can print any way you like.