c stdint float