prod_2_float