Add some simple float32 encode/decode/add utilities written in C.