What is 4.3 rounded down to the nearest integer?