Ints and floats are the same size, no?