stdint float32