int numbers promoted to floats in .data