No need to use BFP_OF_REAL here, rather directly cast to int32_t