[ins] alt_float: fix includes