Assuming cell a1 is displaying the number "12000. 7789". What formula should be used to round this number to the closest integer?