rename pub_int -> floating_int