It would appear that this has worked as they haven't had to insert leap seconds for quite a while.