cast int8_t to float